MediaWiki 1.7.1

To complete the installation, move config/LocalSettings.php to the parent directory.