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