jenkins-bot 10eaeeb5d3 Merge "Match frame and overlay appearance of ui-dialog to match WMUI"		2019-04-01 19:39:47 +00:00
..
jquery.ui	Merge "Match frame and overlay appearance of ui-dialog to match WMUI"	2019-04-01 19:39:47 +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