Document what settings are disabled by $wgHtml5
[lhc/web/wiklou.git] / resources /
drwxr-xr-x   ..
-rw-r--r-- 25340 Resources.php
drwxr-xr-x - jquery.effects
drwxr-xr-x - jquery.tipsy
drwxr-xr-x - jquery.ui
drwxr-xr-x - jquery
drwxr-xr-x - mediawiki.action
drwxr-xr-x - mediawiki.language
drwxr-xr-x - mediawiki.special
drwxr-xr-x - mediawiki.util
drwxr-xr-x - mediawiki
-rw-r--r-- 906 startup.js