mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 00:30:44 +00:00
1993c51a49
Apparently this is now fixed, so no need to keep this. Bug: T135171 Change-Id: Ie5c0f9140c6de4bb73770276011adce23fa69f9e |
||
---|---|---|
.. | ||
ce | ||
dm | ||
i18n | ||
init | ||
tests | ||
themes | ||
ui | ||
ve.MWutils.js |