1 <div id="searchholder">
2 <form id="searchform" action="<?php echo WikiURL(_("FindPage"))?>"
3 method="get" accept-charset="UTF-8" style="display:inline" class="searchform">
5 $s = $request->getArg('s') ? $request->getArg('s') : _("Search");
6 if (! USE_PATH_INFO) { ?>
7 <input type="hidden" name="pagename" value="<?php echo _("TitleSearch")?>" />
9 <?php echo $SEARCH_BEFORE ?>
10 <input type="hidden" name="action" value="search" />
11 <input name="searchterm" size="18" maxlength="256"
12 value="<?php echo $s?>"
13 onfocus="if (this.value == '<?php echo _("Search")?>') {this.value = '';}"
14 onmouseout="window.status=''; return true;"
15 onmouseover="window.status='<?php echo _("Quick Search")?>'; return true;"
16 type="text" id="search"
17 title="<?php echo _("Search term(s)") ?>" />
18 <?php echo $SEARCH_AFTER ?>