1 <!--{{{ LiveSearch --> <? // -*- php -*- ?>
2 <div id="searchholder">
3 <form id="searchform" name="searchform" action="<?= WikiURL(_("TitleSearch"))?>"
4 method="get" accept-charset="<?=$charset?>" 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="<?= _("TitleSearch")?>" />
11 <input type="hidden" name="auto_redirect" value="1" />
12 <?= empty($SEARCH_BEFORE) ? '' : $SEARCH_BEFORE ?>
13 <input name="s" size="16" maxlength="256"
15 onfocus="if (this.value == '<?=_("Search")?>') {this.value = '';}"
16 onmouseout="window.status=''; return true;"
17 onmouseover="window.status='<?=_("Quick Search")?>'; return true;"
19 <?php if (ENABLE_ACDROPDOWN) { ?>
20 class="dropdown" id="searchInput" title="<?=_("LiveSearch") . " [$p-f]"?>"
22 acdropdown="true" autocomplete_complete="false" autocomplete_matchsubstring="false"
23 autocomplete_list="xmlrpc:wiki.titleSearch [S] 4<?= $request->getArg("start_debug") ? " debug" : "" ?>" />
24 <?php } elseif (ENABLE_LIVESEARCH) { ?>
25 type="text" id="livesearch" title="<?=_("LiveSearch") . " [$p-f]"?>"
26 onKeypress="liveSearchStart()"
27 onblur="setTimeout('closeResults()',2000); if (this.value == '') {this.value = '<?=_("Search")?>';}" />
32 type="text" id="search"
33 title="<?=_("TitleSearch") . " [$p-f]"?>" />
34 <?php } ?> <?= empty($SEARCH_AFTER) ? '' : $SEARCH_AFTER ?>