mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 23:05:35 +00:00
a5a3d829a9
Bug: T123810 Change-Id: I3ed04d3037836b47706d9f7284eeb9668712bdcb |
||
---|---|---|
.. | ||
ve.ui.Icons.json |