Merge "Put wfDeprecated() on obsolete use of $wgSpecialPages"
[mediawiki.git] / resources / src / 
tree29649198546dea2b656cea6a8a1f9aa9809a2916
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.skinning
drwxr-xr-x - mediawiki.special
drwxr-xr-x - mediawiki.ui
drwxr-xr-x - mediawiki
-rw-r--r-- 1632 startup.js