mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 10:35:48 +00:00
31dd73ae81
Bug: T222086 Change-Id: I09c0a4e039de224d3cb0dd92855c559668ed35d3 |
||
---|---|---|
.. | ||
ve.ui.Icons.json | ||
ve.ui.Indicators.json |