wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-27 04:06:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/pages
History
Bartosz Dziewoński 8a286b06f0 Revert "Replace deprecated setIndicatorTitle with setTitle" 
This reverts commit a7c98d88de.

Bug: T212975
Change-Id: Iffbbd36d0e91d02f50ce0407ed556f2a7d91a301
2019-01-07 21:08:35 +00: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 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