mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-12 17:18:41 +00:00
11673b21ad
Same thing as Ifb49ede450cabdcd8303b298b62f2ac632809b53, for a slightly different case that we missed. Bug: T221289 Change-Id: I0ca287af87e1058620fbed75a50d40f01513a567 |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
tests | ||
themes | ||
ui | ||
ve.MWutils.js |