wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-01 17:36:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/pages
History
Trevor Parscal f4156bd09f Update VE core submodule to master (e7e2833) 
New changes:
* e7e2833 - Update uses of Push/IconButtonWidget to ButtonWidget
* d9d9eb5 - Update OOjs UI to v0.1.0-pre (d9bab13)
  * d9bab13 - The Great Button Refactor of 2014
* 22b93ef - Update OOjs UI build (88b2871)
  * 88b2871 - Fix png transparency on required.png
  * 670c468 - Add i18n

Also:
* Update uses of Push/IconButtonWidget to ButtonWidget as there
  is a breaking change in new OOjs UI version.
  This was separated from commit I325a4dcc316d0.

Change-Id: I82220d15221c52be03feafcfc85c2bd6c12ba462
2014-01-17 16:29:36 +01:00
..
ve.ui.MWCategoriesPage.js Bump copyright like it's 2014 2014-01-05 20:06:50 +08:00
ve.ui.MWLanguagesPage.js Merge "Factor out AJAX defaults into ve.init.mw.Target.static.apiRequest()" 2014-01-15 10:37:43 +00:00
ve.ui.MWSettingsPage.js Merge "Let users set __NOEDITSECTION__ status" 2014-01-06 09:45:49 +00:00
ve.ui.MWTemplatePage.js Update VE core submodule to master (e7e2833) 2014-01-17 16:29:36 +01:00
ve.ui.MWTemplateParameterPage.js Update VE core submodule to master (e7e2833) 2014-01-17 16:29:36 +01:00
ve.ui.MWTemplatePlaceholderPage.js Update VE core submodule to master (e7e2833) 2014-01-17 16:29:36 +01:00
ve.ui.MWTransclusionContentPage.js Update VE core submodule to master (e7e2833) 2014-01-17 16:29:36 +01:00