mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 08:34:54 +00:00
baffe9d7e1
New changes: 5e60f12 Ensure clipboard key is removed from paste target 32397d8 Update OOjs UI to v0.4.0 Local changes to compensate for new OOUI version, and updated wfUseMW call. Change-Id: I005f7b23a36e04f1305d4aa037c19a5c7db9a699 |
||
---|---|---|
.. | ||
Base64.js | ||
Easy-Deflate | ||
ve@32397d8854 |