wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/tools
History
Ed Sanders cb60db4c7f Use list tool group for editor switching 
Bug: T116417
Change-Id: Iadf5a81e2733ab81fe25c686dcd6dad8eac3885c
2017-02-28 15:06:48 +00:00
..
ve.ui.MWEditModeTool.js Use list tool group for editor switching 2017-02-28 15:06:48 +00:00
ve.ui.MWEducationPopupTool.js build: Bump file copyright notices for 2017 2017-01-03 08:58:33 -08:00
ve.ui.MWFormatTool.js build: Bump file copyright notices for 2017 2017-01-03 08:58:33 -08:00
ve.ui.MWGalleryDialogTool.js build: Bump file copyright notices for 2017 2017-01-03 08:58:33 -08:00
ve.ui.MWLinkInspectorTool.js build: Bump file copyright notices for 2017 2017-01-03 08:58:33 -08:00
ve.ui.MWMediaDialogTool.js build: Bump file copyright notices for 2017 2017-01-03 08:58:33 -08:00
ve.ui.MWMetaDialogTool.js Add "templates used" page to meta dialog 2017-01-04 18:30:11 +01:00
ve.ui.MWMobileLinkInspectorTool.js build: Bump file copyright notices for 2017 2017-01-03 08:58:33 -08:00
ve.ui.MWPopupTool.js build: Bump file copyright notices for 2017 2017-01-03 08:58:33 -08:00
ve.ui.MWSignatureTool.js Move wikitext signature command to correct file 2017-02-07 20:21:32 +00:00
ve.ui.MWTransclusionDialogTool.js build: Bump file copyright notices for 2017 2017-01-03 08:58:33 -08:00