mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 02:23:58 +00:00
6fb65ec3a1
Create getter for extensionsName which is overriden by MWAlienExtensionNode. Also removed angle brackets around Alien title as the inspector already has an angle bracket icon, and a '<' close button. Change-Id: Ice8c5d73ed621f8e585b5f372788666f8c5aeb50 |
||
---|---|---|
.. | ||
ve.ui.MWAlienExtensionInspector.js | ||
ve.ui.MWExtensionInspector.js | ||
ve.ui.MWHieroInspector.js | ||
ve.ui.MWLinkInspector.js | ||
ve.ui.MWMathInspector.js |