MediaWiki 1.13.2

Please set up the wiki first.