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 013d26f0b0 MWParameterPage: Use MultilineTextInputWidget instead of config 
Change-Id: Icccd6460452774ae0ff21ce9df36dfe428d935d2
2017-10-12 18:13:06 +01:00
..
ve.ui.MWAdvancedSettingsPage.js Replace wg(Relevant)PageName with target#pageName 2017-09-26 13:22:00 +01:00
ve.ui.MWCategoriesPage.js build: Upgrade grunt-eslint from 19.0.0 to 20.0.0 2017-07-18 12:55:33 +01:00
ve.ui.MWLanguagesPage.js Replace wg(Relevant)PageName with target#pageName 2017-09-26 13:22:00 +01:00
ve.ui.MWParameterPage.js MWParameterPage: Use MultilineTextInputWidget instead of config 2017-10-12 18:13:06 +01:00
ve.ui.MWParameterPlaceholderPage.js Replace uses of the removed 'remove' icon with the 'trash' one 2017-05-31 16:30:17 -07:00
ve.ui.MWSettingsPage.js build: Upgrade grunt-eslint from 19.0.0 to 20.0.0 2017-07-18 12:55:33 +01:00
ve.ui.MWTemplatePage.js Drop local 'template' icon, use 'puzzle' from upstream 2017-07-06 09:52:56 -07:00
ve.ui.MWTemplatePlaceholderPage.js Replace constructive with progressive UI flag 2017-09-26 15:14:32 -04:00
ve.ui.MWTemplatesUsedPage.js Drop local 'template' icon, use 'puzzle' from upstream 2017-07-06 09:52:56 -07:00
ve.ui.MWTransclusionContentPage.js TextInputWidgets: update for deprecated multiline behavior 2017-07-03 22:09:58 +01:00