Yes, it's mediawiki. - Richard
On Sun, Feb 15, 2009 at 10:27 PM, mumbojumbo <madmediabl...@gmail.com>wrote: > > I love the docs and I was wondering what wiki platform they were > using. Any Idea? I think its a modified version of mediawiki but I > thought I would ask. > > Thanks, > MJ