wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-30 00:55:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/tools
History
James D. Forrester dd5a1f0285 Follow-up f9330c8564: Don't auto-add MWSaveTool 
Bug: T222325
Change-Id: I1ccd43c6de51cd2fc8d4fc3291b1870b99736d80
2019-05-02 15:57:34 -07:00
..
ve.ui.MWEditModeTool.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWEducationPopupTool.js Fix uncaught jQuery linting errors 2019-01-18 21:03:38 +00:00
ve.ui.MWFormatTool.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWGalleryDialogTool.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWLinkInspectorTool.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWMediaDialogTool.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWMetaDialogTool.js Fix function name 2019-02-06 21:54:23 +00:00
ve.ui.MWMobileLinkInspectorTool.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWPopupTool.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWSaveTool.js Follow-up f9330c8564: Don't auto-add MWSaveTool 2019-05-02 15:57:34 -07:00
ve.ui.MWSignatureTool.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWTransclusionDialogTool.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00