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

Wait, how do I search for MediaWiki pages?