mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 14:56:20 +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 |
||
---|---|---|
.. | ||
helpers | ||
rules | ||
styles | ||
ve.ce.MWSyntaxHighlightNode.js | ||
ve.dm.MWSyntaxHighlightNode.js | ||
ve.ui.MWSyntaxHighlightDialog.js | ||
ve.ui.MWSyntaxHighlightSimpleSurface.js | ||
ve.ui.MWSyntaxHighlightTool.js |