mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 14:56:20 +00:00
6625fc5c85
These aren't supported by VE-MW, so must just be garbage from a browser plugin. Bug: T192392 Change-Id: I24646244daf2847e4dee88273058658300880dfc |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
tests | ||
themes | ||
ui | ||
ve.MWutils.js |