mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 02:23:58 +00:00
23691dc861
The loading progress would not be reset upon failure, causing issues when you tried to start loading again. Bug: T96437 Change-Id: I7ec4be82304c101fa1bd634f60bc6b0047e2d53d |
||
---|---|---|
.. | ||
ve.init.mw.DesktopArticleTarget.init.js | ||
ve.init.mw.DesktopArticleTarget.js | ||
ve.init.mw.MobileArticleTarget.js |