Merge "Make $wgMWLoggerDefaultSpi more expressive"
[mediawiki.git] / resources / src / mediawiki.less / 
treed754bef147b906e476ef0d303ef9abf765db461a
drwxr-xr-x   ..
-rw-r--r-- 253 mediawiki.mixins.animation.less
-rw-r--r-- 2974 mediawiki.mixins.less
-rw-r--r-- 543 mediawiki.mixins.rotation.less
drwxr-xr-x - mediawiki.ui