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
James D. Forrester 2c70792c4f Replace constructive with progressive UI flag 
Change-Id: Iae36e978978ed6642f44606a934c540cf5f8537f
2017-09-26 15:14:32 -04: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: Fix missed remove -> trash icon name rename 2017-06-12 11:39:50 -07:00
ve.ui.MWParameterPlaceholderPage.js
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