*Re-add some things lost in merge
[mediawiki.git] / config / 
tree254524bcbe48777fe35492a7d0d28aca70b14289
drwxr-xr-x   ..
-rw-r--r-- 56493 index.php