mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 23:05:35 +00:00
e369ebacd3
New changes: 1e4a2a5 Desktop demo improvements 0be3300 Replace abandoned colors with current ones c3895e4 Warn before deleting a bunch of local files a21d08d ui.CommandHelpRegistry: fix extending of existing command Bug: T153486 Change-Id: Ia61714c4941b2b2cf5566a94896a28fb593b8029 |
||
---|---|---|
.. | ||
Base64.js | ||
Easy-Deflate | ||
ve@a1295369a8 |