mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
7a058a4de8
These are now computed upstream based on position of toolbar. The menu tool now needs its indicator explicitly hidden. Change-Id: Id2280f70553e1e45f3a42af45684c5808797925c |
||
---|---|---|
.. | ||
ve.init.mw.DesktopArticleTarget.init.js | ||
ve.init.mw.DesktopArticleTarget.js | ||
ve.init.mw.MobileArticleTarget.js |