Thread:Project:Support desk/Smart search box?

I was wondering what search box is being used on this site (e.g. search results while typing). I've searched all the extensions but I can't find one that does this. It also doesn't do it natively on my installation. Using MediaWiki 1.16 with Vector skin.