mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-21 02:22:51 +00:00
365950cbe6
Change-Id: I37b3dfeabe7666878884d21113f928691363a39a Depends-On: I813c341cb1a0751443880d2e05aa209d3d973a00 |
||
---|---|---|
.. | ||
ve.init.mw.ArticleTarget.js | ||
ve.init.mw.DesktopArticleTarget.js | ||
ve.init.mw.MobileArticleTarget.js | ||
ve.init.mw.Target.js |