mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 10:35:48 +00:00
2759752a0a
Makes some things easier, some harder—not sure if this is a helpful patch. Change-Id: If56e9b2fbc1796cd637aaeececec779d31a7921f |
||
---|---|---|
.. | ||
ve.ui.MWCommandHelpDialog.js | ||
ve.ui.MWConfirmationDialog.js | ||
ve.ui.MWExtensionDialog.js | ||
ve.ui.MWExtensionPreviewDialog.js | ||
ve.ui.MWFloatingHelpDialog.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 |