mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-09-27 04:06:51 +00:00
dc902b4c93
Change-Id: Ia14a4d204e367a3d0d46165a51b0cdc6fc3d57e7 |
||
---|---|---|
.. | ||
ve.init.mw.DesktopArticleTarget.init.js | ||
ve.init.mw.DesktopArticleTarget.js | ||
ve.init.mw.DesktopWikitextArticleTarget.js | ||
ve.init.mw.MobileArticleTarget.js |