wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-12 09:21:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-skins-Vector/resources/skins.vector.styles.legacy
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
..
components styles: Remove 'mediawiki.ui/variables' call 2023-04-25 12:58:30 -07:00
images build: Update SVGO to v3.0.2 & re-crush icons 2023-03-27 06:10:37 -07:00
layouts styles: Remove unneeded property 2023-05-22 23:01:46 -07:00
skin-legacy.less Clean up leftover Sidebar CSS 2023-04-17 21:02:58 +00:00