mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
cfe3d9b561
No point showing the icon if we don't have the functionality to make it do anything. Also this reduces the number of RL requests made as we never fetch OOUI separately. Change-Id: Iac9aa6f34c485223e73981b3377c7d0cfd31dae9 |
||
---|---|---|
.. | ||
ve.init.mw.DesktopArticleTarget.init.js | ||
ve.init.mw.DesktopArticleTarget.js | ||
ve.init.mw.MobileArticleTarget.js |