mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
4a288a5866
* Try to hide loading bar on failure * Don't set wgAction back to 'view' if we're dropping the user back to the wikitext editor Bug: T125580 Change-Id: I13058ae131a1dda3b172e78d9b143d70831c47f1 |
||
---|---|---|
.. | ||
ve.init.mw.DesktopArticleTarget.init.js | ||
ve.init.mw.DesktopArticleTarget.js | ||
ve.init.mw.MobileArticleTarget.js |