* Completely re-arranged the preferences.
[mediawiki.git] / config / 
tree64fc4ed173105142bb3ec0ced9a7c837b8037a3f
drwxr-xr-x   ..
-rw-r--r-- 42224 index.php
-rw-r--r-- 8371 installer.php