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