2 <div id="searchholder">
3 <form id="searchform" action="<?php echo WikiURL(_("FindPage"))?>"
4 method="get" accept-charset="UTF-8" style="display:inline" class="searchform">
6 $s = $request->getArg('s') ? $request->getArg('s') : _("Search");
7 $p = $WikiTheme->tooltipAccessKeyPrefix();
8 if (! USE_PATH_INFO) { ?>
9 <input type="hidden" name="pagename" value="<?php echo _("TitleSearch")?>" />
11 <?php echo $SEARCH_BEFORE ?>
12 <input type="hidden" name="action" value="search" />
13 <input name="searchterm" size="18" maxlength="256"
14 value="<?php echo $s?>"
15 onfocus="if (this.value == '<?php echo _("Search")?>') {this.value = '';}"
16 onmouseout="window.status=''; return true;"
17 onmouseover="window.status='<?php echo _("Quick Search")?>'; return true;"
19 <?php if (0 and ENABLE_ACDROPDOWN) { ?>
20 class="dropdown" id="searchInput" title="<?php echo _("LiveSearch") . " [$p-f]"?>"
22 acdropdown="true" autocomplete_complete="false" autocomplete_matchsubstring="false"
23 autocomplete_list="xmlrpc:wiki.titleSearch [S] 4" />
24 <?php } elseif (ENABLE_LIVESEARCH) { ?>
25 type="text" id="livesearch" title="<?php echo _("LiveSearch") . " [$p-f]"?>"
26 onKeypress="liveSearchStart()"
27 onblur="setTimeout('closeResults()',2000); if (this.value == '') {this.value = '<?php echo _("Search")?>';}" />
32 type="text" id="search"
33 title="<?php echo _("Search term(s)") . " [$p-f]"?>" />
34 <?php } ?> <?php echo $SEARCH_AFTER ?>