Thread:Project:Support desk/mediawiki.org editor?

What editor extension is mediawiki.org using for editing content? I just installed 1.19 and enabled the WikiEditor extension, but it looks nothing like the editor that mediawiki.org is using.

Thanks