mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-12-11 23:46:22 +00:00
18e277719b
Doesn't seem to be needed here. Personal tools menu isn't even a dropdown in legacy Vector. Change-Id: I89bb2e66ea1b4eff8d7df025806a96e3d83e5b98 |
||
---|---|---|
.. | ||
print.less | ||
screen.less |