wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-12 01:09:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-skins-Vector/resources/mediawiki.less
History
Volker E 4df2b12e31 mediawiki.skin.variables: Add border-style and border-width vars 
Already covered in mediawiki.skin.defaults.less.

Change-Id: If57df6cbbbab29ed9775d8d6676bd94a3b4de549
2022-09-23 17:58:42 +00:00
..
mediawiki.skin.variables.less mediawiki.skin.variables: Add border-style and border-width vars 2022-09-23 17:58:42 +00:00