Merge "Make update.php file executable"
[mediawiki.git] / resources / src / 
tree3039934a4243f283a79ee1dcdcad7005c2f1acfe
drwxr-xr-x   ..
drwxr-xr-x - jquery.tipsy
drwxr-xr-x - jquery.ui-themes
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-- 1632 startup.js