mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-02 09:57:01 +00:00
b3281bd87a
Also... * Update OOjs UI to v0.1.0-pre (5ffe63d088) * Make template parameter text boxes shorter (3em down from 10em) * Reorder extendObject calls to not modify incoming config objects * Allow level option to default to 0, rather than specifically defining it * Use icon button widgets with remove icons for parameter, placeholder, template and content removal buttons Change-Id: I29db9d814fab5cf4debd0fc7bab6f51475cb0f94 |
||
---|---|---|
.. | ||
ve.ui.MWAlienExtensionInspector.js | ||
ve.ui.MWExtensionInspector.js | ||
ve.ui.MWHieroInspector.js | ||
ve.ui.MWLinkInspector.js | ||
ve.ui.MWMathInspector.js |