mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-01 17:36:35 +00:00
b635541de2
Change-Id: Ib688a3ba0ab07e0d0dc328a3878440756d1103fe |
||
---|---|---|
.. | ||
ve.ui.AnnotationInspector.js | ||
ve.ui.LanguageInspector.js | ||
ve.ui.LinkInspector.js |