I have been wondering if it was mediawiki. It feels like it, though it does not look like it. I looked for acknowledgements, and did not find them.
If you look at the URLs for pages (in particular special pages), they match MediaWiki URLs, so I think it's just MediaWiki with a whole new skin.