mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 16:44:51 +00:00
4a5cf2062d
Change-Id: I09c4eac94b36e425cdc77a16fb4b9d30e5b8695d |
||
---|---|---|
.. | ||
ve.init.mw.MobileViewTarget.js | ||
ve.init.mw.ViewPageTarget.init.js | ||
ve.init.mw.ViewPageTarget.js |