mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-18 17:21:25 +00:00
c9c7c06e76
Change-Id: Ic9fad12fe4c20793dd54cb3169b9dffe3a6a18da |
||
---|---|---|
.. | ||
ve.ui.MWAlienExtensionInspector.less | ||
ve.ui.MWExtensionInspector.less | ||
ve.ui.MWLinkAnnotationInspector.less |