Add a few globals.
[mediawiki.git] / config / 
treea32ffb76be43d8798de19f22cf8c42768026556a
drwxr-xr-x   ..
-rw-r--r-- 79360 Installer.php
-rw-r--r-- 1637 index.php
-rw-r--r-- 64 index.php5
-rw-r--r-- 807 new-index.php