mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 08:34:54 +00:00
e8d8308d9a
This was causing strange rendering problems, and it's really not even needed. Change-Id: I130e9e5c5f2c5ab99b5245de6c0243e9be9cf558 |
||
---|---|---|
.. | ||
jquery | ||
oojs | ||
qunit | ||
rangy | ||
unicodejs | ||
ve |