mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-12 14:35:28 +00:00
18472d84a2
Change-Id: I8fa3c6100652d2f29a60bc22c8e08a4d9e79d37a |
||
---|---|---|
.. | ||
ve.init.mw.DesktopArticleTarget.init.js | ||
ve.init.mw.DesktopArticleTarget.js | ||
ve.init.mw.MobileArticleTarget.js |