Thread:Project:Support desk/MediaWiki Sidebar Extension

I wonder ehat Extension mediawiki.org (this Wiki) uses? I´ve searched and searched but couldn´t find that solution on any of the extensions. I´m looking for the group function so that my menu long if not all groups are extracted.