mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 08:34:54 +00:00
b33cd5d8f1
* Ensure ve-loading isn't removed early * Quickly detach then reattach the loading bar during activation so it doesn't get moved and marked as original content Change-Id: I263c9627348953a11966f8bcc435d0d89b0b6084 |
||
---|---|---|
.. | ||
ve.init.mw.DesktopArticleTarget.init.js | ||
ve.init.mw.DesktopArticleTarget.js | ||
ve.init.mw.MobileArticleTarget.js |