We *are* using MediaWiki (look at the logo in the footer, lower-right). There is currently a login issue with the Wiki which we're working on, but once that is fixed it is actually *more* functional than a default MediaWiki install as we have several plugins (such as a video player, glossary, etc.) installed.
- Oshyan