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
Alex Monk 0760cd6974 Select tool when it's been closed by education tool popup button 
Bug: T117273
Change-Id: I54b704b6663f7d862557e6524713259dee8765cc
2016-03-29 15:54:22 +01:00
..
ve.ui.MWEditModeTool.js build: Bump file copyright notices for 2016 2016-01-03 14:57:25 -08:00
ve.ui.MWEducationPopupTool.js Select tool when it's been closed by education tool popup button 2016-03-29 15:54:22 +01:00
ve.ui.MWFormatTool.js build: Bump file copyright notices for 2016 2016-01-03 14:57:25 -08:00
ve.ui.MWGalleryInspectorTool.js build: Bump file copyright notices for 2016 2016-01-03 14:57:25 -08:00
ve.ui.MWLinkInspectorTool.js Remove code for varying MWLinkInspectorTool title 2016-02-11 02:22:16 +00:00
ve.ui.MWMediaDialogTool.js build: Bump file copyright notices for 2016 2016-01-03 14:57:25 -08:00
ve.ui.MWMetaDialogTool.js build: Bump file copyright notices for 2016 2016-01-03 14:57:25 -08:00
ve.ui.MWMobileLinkInspectorTool.js build: Bump file copyright notices for 2016 2016-01-03 14:57:25 -08:00
ve.ui.MWPopupTool.js Use keyboard icon for keyboard help tool 2016-03-15 17:28:48 +00:00
ve.ui.MWSignatureTool.js build: Bump file copyright notices for 2016 2016-01-03 14:57:25 -08:00
ve.ui.MWTransclusionDialogTool.js build: Bump file copyright notices for 2016 2016-01-03 14:57:25 -08:00