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/skinStyles
History
Ed Sanders e5eaa3e99d Match mediawiki.notification styles to OOUI dialogs 
Reduces border radius and uses grey border.

Bug: T58313
Change-Id: Ia284f1ac99f06c8ec4f7032cd2366687ecb70e19
2017-04-10 18:25:13 +00: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 Match mediawiki.notification styles to OOUI dialogs 2017-04-10 18:25:13 +00: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