MediaWiki 1.13.3

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