2 <div id="searchholder">
3 <form id="searchform" name="searchform" action="<?= WikiURL(_("TitleSearch"))?>"
4 method="get" accept-charset="<?=$charset?>">
5 <input type="text" id="livesearch" name="s" size="12" maxlength="256"
6 value="<?=_("Search")?>"
7 onfocus="if (this.value == '<?=_("Search")?>') {this.value = '';}"
8 onmouseout="window.status=''; return true;"
9 onmouseover="window.status='<?=_("Search")?>'; return true;"
10 <?php if (ENABLE_LIVESEARCH) { ?>
11 title="<?=_("LiveSearch")?>"
12 onKeypress="liveSearchStart()"
13 onblur="setTimeout('closeResults()',2000); if (this.value == '') {this.value = '<?=_("Search")?>';}" />
18 title="<?=_("TitleSearch")?>" />