wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-16 19:09:29 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/tools
History
Volker E 40b8c0da5c Replace deprecated 'advanced' by renamed to 'settings' icon 
Bug: T190581
Change-Id: Ie598c703ca03adb98ca05ed3ab227aba2b5ab971
2018-09-07 19:46:12 -07:00
..
ve.ui.MWEditModeTool.js doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWEducationPopupTool.js Create getters for localised APIs (getContentApi/getLocalApi) 2018-05-05 14:32:55 +01: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 Replace deprecated 'advanced' by renamed to 'settings' icon 2018-09-07 19:46:12 -07:00
ve.ui.MWMobileLinkInspectorTool.js doc: Bump copyright year 2018-01-03 17:45:07 +00:00
ve.ui.MWPopupTool.js Fix typo in API call for version number help 2018-05-16 10:23:39 +01: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