MediaWiki 1.13.0rc1

Please set up the wiki first.