mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-03 18:36:20 +00:00
9ee1b51fbe
Change-Id: Ic818efe7315187bf96ead7bd6468ecb3d44d988d |
||
---|---|---|
.. | ||
ve.ui.MWAlienExtensionInspector.less | ||
ve.ui.MWExtensionInspector.less | ||
ve.ui.MWLinkAnnotationInspector.less |