wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2025-01-09 13:24:22 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-skins-Vector/resources/skins.vector.zebra.styles/components
History
Ed Sanders 1177320e3c build: Update linters 
Change-Id: Idff91da3e6a490bbd31b39651f35544e9cb3fd9c
2023-08-23 18:46:49 +01:00
..
Dropdown.less
MainMenu.less
PageTools.less
PinnableElement.less build: Update linters 2023-08-23 18:46:49 +01:00
PinnableHeader.less
StickyHeader.less
TableOfContents.less