Merge "Make $wgMWLoggerDefaultSpi more expressive"
[mediawiki.git] / resources / src / mediawiki.skinning / 
treece74845ef241fc33b90f90ef22f4304fa57b4cc4
drwxr-xr-x   ..
-rw-r--r-- 4280 content.css
-rw-r--r-- 3825 content.externallinks.css
-rw-r--r-- 2776 content.parsoid.less
-rwxr-xr-x 3479 elements.css
drwxr-xr-x - images
-rw-r--r-- 1429 interface.css