mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-02 01:46:47 +00:00
26392cc1db
Change-Id: Ia202294e1d27517c5317654e1d2d3410286c1773 |
||
---|---|---|
.. | ||
images | ||
ve.ui.Icons-raster.css | ||
ve.ui.Icons-vector.css | ||
ve.ui.MWDialog.css | ||
ve.ui.MWInspector.css | ||
ve.ui.MWWidget.css |