mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-23 19:43:19 +00:00
e20decc77c
This was used when we used to pass API errors to showMessage, but is now unused by the two remaining users (missing edit summary, and "press ctrl+enter to submit"). Change-Id: I8a6b4db78d4e451cf3ec85fcdfd8293328aaaa3c |
||
---|---|---|
.. | ||
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 | ||
ve.ui.MWWikitextConvertConfirmDialog.js |