wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 14:56:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/pages
History
jenkins-bot 2ea2197483 Merge "Fix uncaught jQuery linting errors"
2019-01-22 16:27:45 +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 Re-introduce: Replace deprecated setIndicatorTitle with setTitle 2019-01-16 22:12:38 -08: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 Fix uncaught jQuery linting errors 2019-01-18 21:03:38 +00:00
ve.ui.MWTransclusionContentPage.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00