Thread:Project:Support desk/Discussions/Talk extensions

I am interested in what extension was used for discussions in https://www.mediawiki.org/wiki/Talk:MediaWiki ? The standard mediawiki i've downloaded doesn't looks like this.