jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/351716 )
Change subject: Fix dependencies to module 'mediawiki.util'
......................................................................
Fix dependencies to module 'mediawiki.util'
Change-Id: I9f82f4e8c394f1278d35b0df7d73e96ad06d5b9c
---
M extension.json
1 file changed, 6 insertions(+), 4 deletions(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/extension.json b/extension.json
index 120cd68..5d960a9 100644
--- a/extension.json
+++ b/extension.json
@@ -112,7 +112,6 @@
"articlefeedbackv5-enabled-form-message"
],
"dependencies": [
- "mediawiki.util",
"mediawiki.user",
"jquery.articleFeedbackv5.utils",
"mediawiki.jqueryMsg",
@@ -136,7 +135,8 @@
"jquery.articleFeedbackv5",
"jquery.cookie",
"jquery.articleFeedbackv5.utils",
- "mediawiki.api"
+ "mediawiki.api",
+ "mediawiki.util"
]
},
"ext.articleFeedbackv5.dashboard": {
@@ -159,7 +159,8 @@
],
"dependencies": [
"jquery.articleFeedbackv5.utils",
- "mediawiki.api"
+ "mediawiki.api",
+ "mediawiki.util"
]
},
"ext.articleFeedbackv5.watchlist": {
@@ -273,7 +274,8 @@
"jquery.placeholder",
"mediawiki.jqueryMsg",
"jquery.effects.highlight",
- "mediawiki.Uri"
+ "mediawiki.Uri",
+ "mediawiki.util"
]
},
"jquery.articleFeedbackv5.special": {
--
To view, visit https://gerrit.wikimedia.org/r/351716
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9f82f4e8c394f1278d35b0df7d73e96ad06d5b9c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ArticleFeedbackv5
Gerrit-Branch: master
Gerrit-Owner: Fomafix <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
