Merge "chmod 644"
[mediawiki.git] / resources / src / 
tree2f9b5b7d61f99c942ac54f971f5469c2608a7398
drwxr-xr-x   ..
-rw-r--r-- 553 es5-skip.js
-rw-r--r-- 483 jquery.json-deprecate.js
drwxr-xr-x - jquery.tipsy
drwxr-xr-x - jquery.ui-themes
drwxr-xr-x - jquery
-rw-r--r-- 97 json-skip.js
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.skinning
drwxr-xr-x - mediawiki.special
drwxr-xr-x - mediawiki.ui
drwxr-xr-x - mediawiki
-rw-r--r-- 1632 startup.js