wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 14:56:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/tools
History
Alex Monk db036ddd8d Make sure switch to source editing button does not get disabled 
Was broken by Ief769ba0

Bug: T97646
Change-Id: I43ea85373a6ca427bf6a1c9e01d70b960d93db91
2015-05-09 00:25:19 +01:00
..
ve.ui.MWCitationDialogTool.js Update VE core submodule to master (2e1a0bb) 2015-02-27 18:21:13 -05:00
ve.ui.MWEditModeTool.js Make sure switch to source editing button does not get disabled 2015-05-09 00:25:19 +01:00
ve.ui.MWFormatTool.js build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
ve.ui.MWGalleryInspectorTool.js build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
ve.ui.MWLinkInspectorTool.js build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
ve.ui.MWMediaDialogTool.js build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
ve.ui.MWMetaDialogTool.js Update VE core submodule to master (2714bfc) 2015-04-16 14:02:59 -07:00
ve.ui.MWPopupTool.js Fix line height inside notice/help popups 2015-04-30 14:02:36 +01:00
ve.ui.MWReferenceDialogTool.js build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00
ve.ui.MWTransclusionDialogTool.js build: Bump copyright notices to 2015 2015-01-12 20:34:19 -08:00