Updating jQuery UI to 1.8.11 (was 1.8.2). Also loosening button css, since j.ui.butto...
[lhc/web/wiklou.git] / mw-config /
drwxr-xr-x   ..
-rw-r--r-- 1229 index.php
-rw-r--r-- 64 index.php5