mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 23:05:35 +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.MWCategoriesPage.js | ||
ve.ui.MWLanguagesPage.js | ||
ve.ui.MWSettingsPage.js | ||
ve.ui.MWTemplatePage.js | ||
ve.ui.MWTemplateParameterPage.js | ||
ve.ui.MWTemplatePlaceholderPage.js | ||
ve.ui.MWTransclusionContentPage.js |