mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2025-01-18 16:06:34 +00:00
8eb6c311ce
Bug: T359107 Change-Id: Ie924677eaff2a57af0b6781275f37b74a72d4ab5 |
||
---|---|---|
.. | ||
ve.init.mw.ArticleTarget.js | ||
ve.init.mw.DesktopArticleTarget.js | ||
ve.init.mw.MobileArticleTarget.js | ||
ve.init.mw.Target.js |