mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 06:46:26 +00:00
4fee78227d
Add a little robustness, guaranteeing that we don't end up with multiple history tracking tasks running, leaking one, or try to clear a non-running interval. Change-Id: I41db2d6fefc7f45f150aa14ecefc648760ad6200 |
||
---|---|---|
.. | ||
jquery | ||
jquery.uls | ||
oojs | ||
qunit | ||
rangy | ||
unicodejs | ||
ve | ||
ve-mw |