mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-30 17:14:42 +00:00
f8522b7aac
New changes: 4922429f7 Merge all theme overrides into single files Local changes: * Update extension.json module definitions for 4922429f7 * Merge all VE-MW theme overrides into single files Change-Id: Ie8bb4a78c3c50dd4e930f25f6f72bc2f395bd10c |
||
---|---|---|
.. | ||
Easy-Deflate | ||
ve@4922429f7b |