wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/tools
History
jenkins-bot 7a5f34fac3 Merge "Education popup: Also handle clicks on dots"
2016-03-07 23:28:55 +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 new surface executeCommand method 2016-03-03 11:49:44 -08: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