wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 06:46:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Move article edit switching tools to articleTarget module"

Browse source
This commit is contained in:
jenkins-bot 2017-03-01 01:16:01 +00:00 committed by Gerrit Code Review
parent ec897c120b 5adbe493c9
commit 9bcf1c1ef8
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
extension.json
View file

@ -508,7 +508,8 @@
"modules/ve-mw/init/ve.init.mw.ArticleTarget.js",
"modules/ve-mw/init/ve.init.mw.ArticleTargetEvents.js",
"modules/ve-mw/ui/dialogs/ve.ui.MWSaveDialog.js",
"modules/ve-mw/ui/actions/ve.ui.MWSaveDialogAction.js"
"modules/ve-mw/ui/actions/ve.ui.MWSaveDialogAction.js",
"modules/ve-mw/ui/tools/ve.ui.MWEditModeTool.js"
],
"styles": [
"modules/ve-mw/init/styles/ve.init.mw.ArticleTarget.css",
@ -1187,7 +1188,6 @@
"modules/ve-mw/ui/elements/ve.ui.MWExpandableErrorElement.js",
"modules/ve-mw/ui/elements/ve.ui.MWPreviewElement.js",
"modules/ve-mw/ui/tools/ve.ui.MWPopupTool.js",
"modules/ve-mw/ui/tools/ve.ui.MWEditModeTool.js",
"modules/ve-mw/ui/inspectors/ve.ui.MWExtensionInspector.js",
"modules/ve-mw/ui/inspectors/ve.ui.MWLiveExtensionInspector.js",
"modules/ve-mw/ui/actions/ve.ui.MWLinkAction.js",