wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-18 03:41:45 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/pages
History
Ed Sanders 74f6c4899c build: Update eslint-config-wikimedia to 0.10.0 
Change-Id: I63a0ebf0b31a0d5d4e680a4e2a5a0be4850be165
2019-01-08 17:00:09 +00:00
..
ve.ui.MWAdvancedSettingsPage.js build: Update eslint-config-wikimedia to 0.10.0 2019-01-08 17:00:09 +00:00
ve.ui.MWCategoriesPage.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWLanguagesPage.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWParameterPage.js Revert "Replace deprecated setIndicatorTitle with setTitle" 2019-01-07 21:08:35 +00:00
ve.ui.MWParameterPlaceholderPage.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWSettingsPage.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWTemplatePage.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWTemplatePlaceholderPage.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWTemplatesUsedPage.js Use ve.targetLinksToNewWindow where possible 2018-12-12 23:19:11 +00:00
ve.ui.MWTransclusionContentPage.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00