mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
f4156bd09f
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 |
||
---|---|---|
.. | ||
ve.ui.MWAlienExtensionInspectorTool.js | ||
ve.ui.MWDialogTool.js | ||
ve.ui.MWEditModeTool.js | ||
ve.ui.MWFormatTool.js | ||
ve.ui.MWGalleryInspectorTool.js | ||
ve.ui.MWHieroInspectorTool.js | ||
ve.ui.MWInspectorTool.js | ||
ve.ui.MWMathInspectorTool.js | ||
ve.ui.MWPopupTool.js |