wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-01 17:36:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/pages
History
Volker E a7c98d88de Replace deprecated setIndicatorTitle with setTitle 
Bug: T76638
Change-Id: I6637cb21f01bd9e6b158d08671c1f29665e601e1
2019-01-03 11:52:31 -08:00
..
ve.ui.MWAdvancedSettingsPage.js doc: Bump copyright year for 2019 2019-01-01 13:24:23 +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 Replace deprecated setIndicatorTitle with setTitle 2019-01-03 11:52:31 -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 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