Followup to r69237: clarify documentation to avoid confusion with title normalization...
[mediawiki.git] / config / 
tree773d6feb74c860ec5b94a510e113bd993e647958
drwxr-xr-x   ..
-rw-r--r-- 79360 Installer.php
-rw-r--r-- 1637 index.php
-rw-r--r-- 64 index.php5
-rw-r--r-- 803 new-index.php