1 <!--{{{ LiveSearch --> <? // -*- php -*- ?>
2 <div id="searchholder">
3 <form id="searchform" name="searchform" action="<?= WikiURL(_("TitleSearch"))?>"
4 method="get" accept-charset="<?=$charset?>">
5 <?php if (! USE_PATH_INFO) { ?>
6 <input type="hidden" name="pagename" value="<?= _("TitleSearch")?>" />
8 <input type="hidden" name="auto_redirect" value="1" />
10 <input name="s" size="12" maxlength="256"
11 value="<?=_("Search")?>"
12 onfocus="if (this.value == '<?=_("Search")?>') {this.value = '';}"
13 onmouseout="window.status=''; return true;"
14 onmouseover="window.status='<?=_("Quick Search")?>'; return true;"
15 <?php if (ENABLE_ACDROPDOWN) { ?>
16 class="dropdown" id="livesearch" title="<?=_("LiveSearch")?>"
18 acdropdown="true" autocomplete_complete="false" autocomplete_matchsubstring="false"
19 autocomplete_list="xmlrpc:wiki.titleSearch [S] 4" />
20 <?php } elseif (ENABLE_LIVESEARCH) { ?>
21 type="text" id="livesearch" title="<?=_("LiveSearch")?>"
22 onKeypress="liveSearchStart()"
23 onblur="setTimeout('closeResults()',2000); if (this.value == '') {this.value = '<?=_("Search")?>';}" />
28 type="text" id="search"
29 title="<?=_("TitleSearch")?>" />