wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 08:34:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
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
..
images Fix png transparency on gallery.png 2014-01-16 11:45:32 +00:00
ve.ui.Icons-raster.css Ultra-basic gallery editing 2014-01-15 15:13:12 -08:00
ve.ui.Icons-vector.css Ultra-basic gallery editing 2014-01-15 15:13:12 -08:00
ve.ui.MWDialog.css Update VE core submodule to master (e7e2833) 2014-01-17 16:29:36 +01:00
ve.ui.MWInspector.css
ve.ui.MWWidget.css Update VE core submodule to master (e7e2833) 2014-01-17 16:29:36 +01:00