Hi in the wordpress.org header is this:
<meta name="generator" content="MediaWiki 1.15.5" />
which leads me to think that it is this that is used
regards
Martin
edit: something similar was aked before and it looks like a plugin solution was found
Plugin Similar To MediaWiki by Bainternet