jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/402025 )
Change subject: Follow-up I51745e8: Make all old modules aliases of
'ext.wikiEditor'
......................................................................
Follow-up I51745e8: Make all old modules aliases of 'ext.wikiEditor'
Many of these modules are depended on in the wild in
user scripts etc. so make them deprecated aliases.
Bug: T165112
Change-Id: I00b888fa55e1e16a490cda22d59692564714dd46
---
M extension.json
1 file changed, 30 insertions(+), 9 deletions(-)
Approvals:
jenkins-bot: Verified
Jforrester: Looks good to me, approved
diff --git a/extension.json b/extension.json
index 865feb0..7937823 100644
--- a/extension.json
+++ b/extension.json
@@ -50,15 +50,6 @@
]
},
"ResourceModules": {
- "ext.wikiEditor.toolbar": {
- "dependencies": [ "ext.wikiEditor" ]
- },
- "ext.wikiEditor.dialogs": {
- "dependencies": [ "ext.wikiEditor" ]
- },
- "ext.wikiEditor.core": {
- "dependencies": [ "ext.wikiEditor" ]
- },
"ext.wikiEditor": {
"group": "ext.wikiEditor",
"scripts": [
@@ -294,6 +285,36 @@
"ext.wikiEditor.styles": {
"group": "ext.wikiEditor",
"styles": "ext.wikiEditor.toolbar.styles.less"
+ },
+ "ext.wikiEditor.toolbar": {
+ "dependencies": [ "ext.wikiEditor" ]
+ },
+ "ext.wikiEditor.dialogs": {
+ "dependencies": [ "ext.wikiEditor" ]
+ },
+ "ext.wikiEditor.core": {
+ "dependencies": [ "ext.wikiEditor" ]
+ },
+ "jquery.wikiEditor": {
+ "dependencies": [ "ext.wikiEditor" ]
+ },
+ "jquery.wikiEditor.core": {
+ "dependencies": [ "ext.wikiEditor" ]
+ },
+ "jquery.wikiEditor.dialogs": {
+ "dependencies": [ "ext.wikiEditor" ]
+ },
+ "jquery.wikiEditor.dialogs.config": {
+ "dependencies": [ "ext.wikiEditor" ]
+ },
+ "jquery.wikiEditor.toolbar": {
+ "dependencies": [ "ext.wikiEditor" ]
+ },
+ "jquery.wikiEditor.toolbar.config": {
+ "dependencies": [ "ext.wikiEditor" ]
+ },
+ "jquery.wikiEditor.toolbar.i18n": {
+ "dependencies": [ "ext.wikiEditor" ]
}
},
"ResourceFileModulePaths": {
--
To view, visit https://gerrit.wikimedia.org/r/402025
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I00b888fa55e1e16a490cda22d59692564714dd46
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/WikiEditor
Gerrit-Branch: master
Gerrit-Owner: Esanders <esand...@wikimedia.org>
Gerrit-Reviewer: Bartosz Dziewoński <matma....@gmail.com>
Gerrit-Reviewer: Catrope <r...@wikimedia.org>
Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: TheDJ <hartman.w...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
