Volker E 221b0b165a Remove obsolete Special:Preferences styles after its transformation to OOUI ... These removed styles match no elements in the Special:Preferences page since the OOUI transformation. Bug: T208923 Change-Id: Iccbdcea5d5f769edfd8640c536e31289da9ee954		2018-11-07 12:50:57 -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.action.view.redirectPage.less	Optimization: move styles specific to redirect pages out of common.less	2017-06-15 16:13:42 +03:00
mediawiki.notification.less	mw.notify: Remove rules duplicated from core	2017-11-29 16:01:50 +00:00
mediawiki.special.less	Move Vector skin from core	2014-08-07 13:38:34 +02:00
ooui.less	Use consistent font size for OOUI dialogs	2018-03-20 13:02:43 +01:00