mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 02:23:58 +00:00
587dc1a3c8
Let MobileFrontend deal with all the history management. Bug: T247171 Change-Id: I666b31285761c80407b4f0fe65c48f76b3e72bf2 |
||
---|---|---|
.. | ||
ve.init.mw.ArticleTarget.js | ||
ve.init.mw.DesktopArticleTarget.js | ||
ve.init.mw.MobileArticleTarget.js | ||
ve.init.mw.Target.js |