mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-23 11:32:51 +00:00
218ac78960
… as well as messages, CSS, and icons that are now unused. Bug: T310859 Change-Id: I1a2797728788cf1a86299414c1430ded0b362d4e |
||
---|---|---|
.. | ||
ve.ui.Icons.json | ||
ve.ui.Indicators.json |