mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
1f3bb5c9e5
This wasn't such a big deal in VE because we load the full page anyway, but in NWE it is more annoying if you reload the page and are dumped in a different edit area. Change-Id: If49569cbe1a2759d8cbbd7ee42dd1b88da39a946 |
||
---|---|---|
.. | ||
ve.init.mw.DesktopArticleTarget.init.js | ||
ve.init.mw.DesktopArticleTarget.js | ||
ve.init.mw.MobileArticleTarget.js |