Minor cleanups.
[mediawiki.git] / config / 
tree30f38dcafa0084cb1d55acd93debcef2a56af753
drwxr-xr-x   ..
-rw-r--r-- 64490 index.php
-rw-r--r-- 68 index.php5