mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-03 02:16:51 +00:00
c0d69dd3db
Its white overlay is pretty good at obscuring them, and the notices popup would close when the dialog is closed, making it very easy to miss them. Also fixed indentation. Bug: T86987 Change-Id: I9f93c4169de98ef77a1eb33fd31a0ec524b6d2b7 |
||
---|---|---|
.. | ||
ve.ui.MWAlienExtensionInspectorTool.js | ||
ve.ui.MWCitationDialogTool.js | ||
ve.ui.MWEditModeTool.js | ||
ve.ui.MWFormatTool.js | ||
ve.ui.MWGalleryInspectorTool.js | ||
ve.ui.MWLinkInspectorTool.js | ||
ve.ui.MWMediaDialogTool.js | ||
ve.ui.MWMetaDialogTool.js | ||
ve.ui.MWPopupTool.js | ||
ve.ui.MWReferenceDialogTool.js | ||
ve.ui.MWTransclusionDialogTool.js |