* (bug 22664) Special:Userrights now accepts '0' as a valid user name
[mediawiki.git] / config / 
tree3bfad67f9adc1abb21ec140d833ce76ae34c0c43
drwxr-xr-x   ..
-rw-r--r-- 80277 Installer.php
-rw-r--r-- 1637 index.php
-rw-r--r-- 64 index.php5