mediawiki-extensions-Visual.../modules/ve-mw/ui/tools
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
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
ve.ui.MWGalleryInspectorTool.js
ve.ui.MWLinkInspectorTool.js
ve.ui.MWMediaDialogTool.js
ve.ui.MWMetaDialogTool.js
ve.ui.MWPopupTool.js
ve.ui.MWReferenceDialogTool.js
ve.ui.MWTransclusionDialogTool.js