Translations:Manual:SkinMustache.php/235/en

Note, you should not hardcode this HTML as some extensions may change the default search page, for example, Extension:MediaSearch.