mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 16:44:51 +00:00
d10f27e80a
Galleries usually have very long lines of text so make the inspector big. Change-Id: I69f294af9603a271b73ac1d39166fe4b492290f0 |
||
---|---|---|
.. | ||
ve.ui.MWAlienExtensionInspector.js | ||
ve.ui.MWExtensionInspector.js | ||
ve.ui.MWGalleryInspector.js | ||
ve.ui.MWHieroInspector.js | ||
ve.ui.MWLinkInspector.js | ||
ve.ui.MWLiveExtensionInspector.js |