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
Ed Sanders dec9aa09e4 Use keyboard icon for keyboard help tool 
Change-Id: Id5e5097dfcdb5e3be2b21c89886857cb379997e6
2016-03-15 17:28:48 +00:00
..
ve.ui.MWEditModeTool.js build: Bump file copyright notices for 2016 2016-01-03 14:57:25 -08:00
ve.ui.MWEducationPopupTool.js Education popup: Also handle clicks on dots 2016-03-02 21:48:05 +00: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