Updating jQuery UI to 1.8.11 (was 1.8.2). Also loosening button css, since j.ui.butto...
[lhc/web/wiklou.git] / resources /
drwxr-xr-x   ..
-rw-r--r-- 25363 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