wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-01 09:26:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/tools
History
James D. Forrester 2c77e88d2c doc: Bump copyright year for 2020 
Change-Id: I30539877543dc2a57bd1428a00d10ac46d8fc294
2020-01-08 09:13:24 -08:00
..
ve.ui.MWEditModeTool.js doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWEducationPopupTool.js doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWFormatTool.js doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWGalleryDialogTool.js doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWLinkInspectorTool.js doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWMediaDialogTool.js doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWMetaDialogTool.js doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWMobileLinkInspectorTool.js doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWPopupTool.js doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWSaveTool.js Don't let double-clicking the save button trigger a save 2019-08-29 22:43:53 +00:00
ve.ui.MWSignatureTool.js doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWTransclusionDialogTool.js doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00