MediaWiki 1.12.0

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