Merge r63429 RELEASE-NOTES to trunk HISTORY
[mediawiki.git] / config / 
tree8144d81216d09122a6c736db5f9948373566538a
drwxr-xr-x   ..
-rw-r--r-- 80247 Installer.php
-rw-r--r-- 1637 index.php
-rw-r--r-- 64 index.php5