wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-28 16:20:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/tools
History
jenkins-bot 6deaeffa95 Merge "Revert "Make edit notices popup wider (320 -> 450)""
2018-03-27 11:30:12 +00:00
..
ve.ui.MWEditModeTool.js doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWEducationPopupTool.js Use mw.storage instead of localStorage 2018-01-10 11:44:24 -06:00
ve.ui.MWFormatTool.js doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWGalleryDialogTool.js doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWLinkInspectorTool.js doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWMediaDialogTool.js doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWMetaDialogTool.js doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWMobileLinkInspectorTool.js doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWPopupTool.js Merge "Revert "Make edit notices popup wider (320 -> 450)"" 2018-03-27 11:30:12 +00:00
ve.ui.MWSignatureTool.js doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWTransclusionDialogTool.js doc: Bump copyright year 2018-01-03 17:45:07 +00:00