Update formatting
[mediawiki.git] / resources / 
treef9b3d0bbd52eb9e6579f73442a0f6c9f66bb41e9
drwxr-xr-x   ..
-rw-r--r-- 40087 Resources.php
drwxr-xr-x - jquery.chosen
drwxr-xr-x - jquery.effects
drwxr-xr-x - jquery.tipsy
drwxr-xr-x - jquery.ui
drwxr-xr-x - jquery
drwxr-xr-x - mediawiki.action
drwxr-xr-x - mediawiki.api
drwxr-xr-x - mediawiki.language
drwxr-xr-x - mediawiki.less
drwxr-xr-x - mediawiki.libs
drwxr-xr-x - mediawiki.page
drwxr-xr-x - mediawiki.special
drwxr-xr-x - mediawiki.ui
drwxr-xr-x - mediawiki
-rw-r--r-- 1469 startup.js