mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 08:34:54 +00:00
6bd9fde5c5
Merge the media edit and media insert dialogs. Allow editing of media properties when inserting a new image, and also allow the user to replace the image on edit. Bug: 67170 Change-Id: I35bd95503565dbf95090ee8110284db5a8fbba83 |
||
---|---|---|
.. | ||
ve.ui.MWAlienExtensionInspectorTool.js | ||
ve.ui.MWCitationDialogTool.js | ||
ve.ui.MWEditModeTool.js | ||
ve.ui.MWFormatTool.js | ||
ve.ui.MWGalleryInspectorTool.js | ||
ve.ui.MWLinkNodeInspectorTool.js | ||
ve.ui.MWMediaDialogTool.js | ||
ve.ui.MWMetaDialogTool.js | ||
ve.ui.MWPopupTool.js | ||
ve.ui.MWReferenceDialogTool.js | ||
ve.ui.MWTransclusionDialogTool.js |