wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-24 15:53:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-skins-Vector/skinStyles
History
James D. Forrester 0019f6d5a5 build: Introduce stylelint and make pass 
Change-Id: I48d542580d767df2d17ce4c6668e9e233a0f7904
2016-11-29 08:40:03 -08:00
..
jquery.ui Compress PNGs with zopflipng 2016-02-20 20:35:56 +00:00
jquery.tipsy.less Move Vector skin from core 2014-08-07 13:38:34 +02:00
mediawiki.notification.less build: Introduce stylelint and make pass 2016-11-29 08:40:03 -08:00
mediawiki.special.less Move Vector skin from core 2014-08-07 13:38:34 +02:00
mediawiki.special.preferences.styles.less build: Introduce stylelint and make pass 2016-11-29 08:40:03 -08:00
ooui.less Apply global overlay z-index to ve-ui-overlay-global 2016-02-06 21:40:40 +00:00