Followup r72535, I suppose I shouldn't break the old installer yet
[mediawiki.git] / resources / 
tree61ebca3f222c8975dde26ec0d11bcd32594ff6bc
drwxr-xr-x   ..
-rw-r--r-- 16167 Resources.php
drwxr-xr-x - jquery.effects
drwxr-xr-x - jquery.ui
drwxr-xr-x - jquery
drwxr-xr-x - mediawiki.util
drwxr-xr-x - mediawiki.views
drwxr-xr-x - mediawiki
-rw-r--r-- 903 startup.js