mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-24 23:55:53 +00:00
18e277719b
Doesn't seem to be needed here. Personal tools menu isn't even a dropdown in legacy Vector. Change-Id: I89bb2e66ea1b4eff8d7df025806a96e3d83e5b98 |
||
---|---|---|
.. | ||
components | ||
images | ||
layouts | ||
skin-legacy.less |