Fix stupid r61199, unrelated changes checkin
[mediawiki.git] / config / 
tree83e3719e37660be797bf54c6b6c77b41ea96973c
drwxr-xr-x   ..
-rw-r--r-- 80883 Installer.php
-rw-r--r-- 1637 index.php
-rw-r--r-- 64 index.php5