wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-30 00:55:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/pages
History
Volker E 40b8c0da5c Replace deprecated 'advanced' by renamed to 'settings' icon 
Bug: T190581
Change-Id: Ie598c703ca03adb98ca05ed3ab227aba2b5ab971
2018-09-07 19:46:12 -07:00
..
ve.ui.MWAdvancedSettingsPage.js Replace deprecated 'advanced' by renamed to 'settings' icon 2018-09-07 19:46:12 -07:00
ve.ui.MWCategoriesPage.js Replace deprecated 'advanced' by renamed to 'settings' icon 2018-09-07 19:46:12 -07:00
ve.ui.MWLanguagesPage.js Replace Bugzilla numbers with Phab numbers 2018-08-09 15:11:27 +01:00
ve.ui.MWParameterPage.js Template dialog: Lazy resize multiline text inputs on first focus 2018-08-23 17:34:25 +01:00
ve.ui.MWParameterPlaceholderPage.js
ve.ui.MWSettingsPage.js ve.ui.MWSettingsPage: Fix missing icon (renamed in OOUI) 2018-08-21 00:26:01 +02:00
ve.ui.MWTemplatePage.js
ve.ui.MWTemplatePlaceholderPage.js Match width of template lookupMenu to input 2018-08-24 14:22:00 +01:00
ve.ui.MWTemplatesUsedPage.js
ve.ui.MWTransclusionContentPage.js Template dialog: Lazy resize multiline text inputs on first focus 2018-08-23 17:34:25 +01:00