MediaWiki 1.13.1

Please set up the wiki first.