mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 14:56:20 +00:00
1b847c44dd
Earlier check-in for a VE media interface test inadvertently re-named a page element that should not have changed. Change-Id: Iac1ef365e9cb3912977c8a89f3158ad9d122c93d |
||
---|---|---|
.. | ||
jquery | ||
jquery.uls | ||
jsdifflib | ||
oojs | ||
oojs-ui | ||
qunit | ||
rangy | ||
syntaxhighlight | ||
unicodejs | ||
ve | ||
ve-mw |