mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 10:35:48 +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.MWAdvancedTransclusionDialog.js | ||
ve.ui.MWBetaWelcomeDialog.js | ||
ve.ui.MWMediaEditDialog.js | ||
ve.ui.MWMediaInsertDialog.js | ||
ve.ui.MWMetaDialog.js | ||
ve.ui.MWReferenceDialog.js | ||
ve.ui.MWReferenceListDialog.js | ||
ve.ui.MWSaveDialog.js | ||
ve.ui.MWTemplateDialog.js | ||
ve.ui.MWTransclusionDialog.js |