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