mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-28 16:20:52 +00:00
6d65373339
This is for HTML we generate for the benefit of the external clipboard (i.e. pasting into other applications). Change-Id: I1c5ff4760f17e1981a78a0bc44f8e296454bb065 |
||
---|---|---|
.. | ||
jquery | ||
jquery.i18n | ||
jquery.uls | ||
jsdifflib | ||
oojs | ||
oojs-ui | ||
qunit | ||
rangy | ||
syntaxhighlight | ||
unicodejs | ||
ve | ||
ve-mw | ||
ve-wmf/i18n |