Extension:SearchBox

From mediawiki.org