Thread:Project:Support desk/Drop-down menus on MediaWiki's sidebar

A simple question that I cannot seem to find the answer for: there are dropdown "close-able" menus on mediawiki.org's sidebar. Is this inherent functionality, or is this an extension? I'd like to get the same functionality running on my wiki. Thanks!