User blog comment:Dopp/New Global Search, plus Updates to Local Search/@comment-3030984-20120509172854/@comment-3030984-20120509175919

It isn't though Dopp, as it used to search MediaWiki automatically based on my prefs.