Fixed a doxygen warning
[mediawiki.git] / config / 
tree099ad12699d7b070383590f1c9bc041a42eec98d
drwxr-xr-x   ..
-rw-r--r-- 80692 Installer.php
-rw-r--r-- 1676 index.php
-rw-r--r-- 64 index.php5
-rw-r--r-- 828 new-index.php