wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 08:34:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/tools
History
James D. Forrester 440a73206d For the mode switch tool, show a different tooltip when disabled 
Bug: T158723
Change-Id: I8c397e9b10c51d78c0b0f18c494ca9f36400d23e
2017-02-24 08:49:47 -08:00
..
ve.ui.MWEditModeTool.js For the mode switch tool, show a different tooltip when disabled 2017-02-24 08:49:47 -08: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