* (bug 6802) profileinfo.php now also work on other database servers than MySQL
[mediawiki.git] / config / 
tree4f6434b62158596bbfbb164af550b9dd666442b7
drwxr-xr-x   ..
-rw-r--r-- 74708 index.php
-rw-r--r-- 68 index.php5