Minor followup to r75621, add whitespace
[mediawiki.git] / resources / 
tree67e479fa1011b7a56976be5e9c5ed15981d223d3
drwxr-xr-x   ..
-rw-r--r-- 22693 Resources.php
drwxr-xr-x - jquery.effects
drwxr-xr-x - jquery.ui
drwxr-xr-x - jquery
drwxr-xr-x - mediawiki.language
drwxr-xr-x - mediawiki.specials
drwxr-xr-x - mediawiki.util
drwxr-xr-x - mediawiki.views
drwxr-xr-x - mediawiki
-rw-r--r-- 899 startup.js