mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 23:05:35 +00:00
19dc7d31fe
If70ff601 didn't really fix anything. The only reason you'd want this data is to distinguish between mobile and desktop data, but it just set the value to the desktop version always... Bug: T95432 Change-Id: I76722e3ad8b7dbe644374b24093bec696f27f48c |
||
---|---|---|
.. | ||
ve.init.mw.MobileViewTarget.js | ||
ve.init.mw.ViewPageTarget.init.js | ||
ve.init.mw.ViewPageTarget.js |