wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-12 14:35:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/tools
History
Bartosz Dziewoński a02323698b ve.ui.MWEditModeTool: Fix showing active editor 
This line of code seems to have been accidentally deleted in
1761b6d6d6.

Bug: T232359
Change-Id: I7d9568cc11a7c96e607203d41ab132c6f304d304
2019-09-09 18:32:56 +02:00
..
ve.ui.MWEditModeTool.js ve.ui.MWEditModeTool: Fix showing active editor 2019-09-09 18:32:56 +02:00
ve.ui.MWEducationPopupTool.js Use upstream pulsating dot 2019-08-28 13:40:29 +01: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 Don't let double-clicking the save button trigger a save 2019-08-29 22:43:53 +00: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