4 <!--{{{ LiveSearch --> <?php // -*- php -*- ?>
5 <div id="searchholder">
6 <form id="searchform" action="<?php echo WikiURL(_("FindPage"))?>"
7 method="get" accept-charset="<?php echo $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="<?php echo _("TitleSearch")?>" />
14 <?php echo $SEARCH_BEFORE ?>
15 <input type="hidden" name="action" value="search" />
16 <input name="searchterm" size="18" maxlength="256"
17 value="<?php echo $s?>"
18 onfocus="if (this.value == '<?php echo _("Search")?>') {this.value = '';}"
19 onmouseout="window.status=''; return true;"
20 onmouseover="window.status='<?php echo _("Quick Search")?>'; return true;"
22 <?php if (0 and ENABLE_ACDROPDOWN) { ?>
23 class="dropdown" id="searchInput" title="<?php echo _("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="<?php echo _("LiveSearch") . " [$p-f]"?>"
29 onKeypress="liveSearchStart()"
30 onblur="setTimeout('closeResults()',2000); if (this.value == '') {this.value = '<?php echo _("Search")?>';}" />
35 type="text" id="search"
36 title="<?php echo _("Search term(s)") . " [$p-f]"?>" />
37 <?php } ?> <?php echo $SEARCH_AFTER ?>