mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-09-26 19:56:49 +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 |
||
---|---|---|
.. | ||
ce | ||
dm | ||
i18n | ||
init | ||
tests | ||
themes | ||
ui | ||
ve.MWutils.js |