wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-30 18:35:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-skins-Vector/resources/skins.vector.styles.legacy/layouts
History
Volker E 18e277719b styles: Remove unneeded property 
Doesn't seem to be needed here. Personal tools menu isn't even a
dropdown in legacy Vector.

Change-Id: I89bb2e66ea1b4eff8d7df025806a96e3d83e5b98
2023-05-22 23:01:46 -07:00
..
print.less Remove 'legacy' feature 2021-08-03 11:06:36 -07:00
screen.less styles: Remove unneeded property 2023-05-22 23:01:46 -07:00