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 5c5323fc3a Re-introduce: Replace deprecated setIndicatorTitle with setTitle 
Patch got reverted in Iffbbd36d0e91, with I3028c4225a42 we should be
good to go now.

Bug: T76638
Change-Id: I016f7db8b2527b3ffe3bd103e6c88ee8e4dd11bc
2019-01-16 22:12:38 -08: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 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