mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 02:23:58 +00:00
0e4676e6a9
This is used in e.g. the formula editor and it's potentially useful. Change-Id: Ie05256285e517c2d0d464822befbf81f2d9209e3 |
||
---|---|---|
.. | ||
ve.ui.MWAlienExtensionInspector.js | ||
ve.ui.MWExtensionInspector.js | ||
ve.ui.MWGalleryInspector.js | ||
ve.ui.MWHieroInspector.js | ||
ve.ui.MWLanguageInspector.js | ||
ve.ui.MWLinkInspector.js |