mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-16 02:51:50 +00:00
63d9969861
I can't really tell what insight we get from the word "container". Every widget is a "container" in some sense, isn't it? This widget is just _the_ outline, I would argue. Other suggestions? Change-Id: I1fb27ee58c1a3dd790022504e978198dadf7ea02 |
||
---|---|---|
.. | ||
ve.ui.MWCommandHelpDialog.js | ||
ve.ui.MWExtensionDialog.js | ||
ve.ui.MWExtensionPreviewDialog.js | ||
ve.ui.MWGalleryDialog.js | ||
ve.ui.MWMediaDialog.js | ||
ve.ui.MWMetaDialog.js | ||
ve.ui.MWMobileSaveDialog.js | ||
ve.ui.MWPreDialog.js | ||
ve.ui.MWRequiredParamBlankConfirmDialog.js | ||
ve.ui.MWSaveDialog.js | ||
ve.ui.MWTableDialog.js | ||
ve.ui.MWTemplateDialog.js | ||
ve.ui.MWTransclusionDialog.js |