Thread:Project:Forum/Sidebar on Mediawiki.com

Hello,

Im a new developer and I was wondering if anyone could tell me what extension Mediawiki.com uses to get the drop down dynamic sidebar. I have found various Tree and Drop down menu extensions but none that work like the sidebar on the Mediawiki site. Can anyone point me in the right direction to figuring out this code?

Thanks for your help!