MediaWiki 1.13.0

Please set up the wiki first.