wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-24 23:55:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-skins-Vector/resources/skins.vector.styles
History
jenkins-bot 5f6932c605 Merge "Increase scroll-padding-top for page sections"
2023-03-01 19:46:33 +00:00
..
components Merge "Increase scroll-padding-top for page sections" 2023-03-01 19:46:33 +00:00
images Reorganize LESS files to match ResourceLoader conventions 2021-04-08 15:47:56 +01:00
layouts Merge "Increase scroll-padding-top for page sections" 2023-03-01 19:46:33 +00:00
skin.less Remove TableOfContents mustache template and mark layout rules 2023-02-28 00:27:31 +00:00