Ed Sanders 10ed1061bf Remove jquery.ui.spinner skin styles ... Bug: T219403 Depends-On: Ifed9074cb49d146b4cd7e366bfc028854daf027b Change-Id: If10a09e2bd2266244c4916ce480a77048de8736d		2019-03-28 19:19:41 +00:00
..
jquery.ui	Remove jquery.ui.spinner skin styles	2019-03-28 19:19:41 +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