mediawiki-extensions-Visual.../modules/ve-mw/ui/tools
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.MWAlienExtensionInspectorTool.js Bump copyright like it's 2014 2014-01-05 20:06:50 +08:00
ve.ui.MWDialogTool.js Keyboard shortcuts MW integration 2014-01-15 14:04:06 -08:00
ve.ui.MWEditModeTool.js Fix comment in header for MWEditModeTool 2014-01-13 15:18:06 +00:00
ve.ui.MWFormatTool.js Bump copyright like it's 2014 2014-01-05 20:06:50 +08:00
ve.ui.MWGalleryInspectorTool.js Ultra-basic gallery editing 2014-01-15 15:13:12 -08:00
ve.ui.MWHieroInspectorTool.js Bump copyright like it's 2014 2014-01-05 20:06:50 +08:00
ve.ui.MWInspectorTool.js Bump copyright like it's 2014 2014-01-05 20:06:50 +08:00
ve.ui.MWMathInspectorTool.js Bump copyright like it's 2014 2014-01-05 20:06:50 +08:00
ve.ui.MWPopupTool.js Update VE core submodule to master (e7e2833) 2014-01-17 16:29:36 +01:00