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
Ed Sanders 835a775a49 build: Upgrade grunt-eslint from 19.0.0 to 20.0.0 
Mostly indent and regex fixes.

Change-Id: Iaf9d02363c78cb71deec5c4cab53a05b67f60600
2017-07-18 12:55:33 +01:00
..
ve.ui.MWAdvancedSettingsPage.js build: Upgrade grunt-eslint from 19.0.0 to 20.0.0 2017-07-18 12:55:33 +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 build: Upgrade grunt-eslint from 19.0.0 to 20.0.0 2017-07-18 12:55:33 +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 Drop local 'template' icon, use 'puzzle' from upstream 2017-07-06 09:52:56 -07: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