Author: heiko.braun(a)jboss.com Date: 2007-06-22 05:45:15 -0400 (Fri, 22 Jun 2007) New Revision: 3692 Modified: projects/wiki/skins/Devmo.php Log: use mediawiki default search engine Modified: projects/wiki/skins/Devmo.php =================================================================== --- projects/wiki/skins/Devmo.php 2007-06-22 09:25:43 UTC (rev 3691) +++ projects/wiki/skins/Devmo.php 2007-06-22 09:45:15 UTC (rev 3692) @@ -91,30 +91,18 @@ </div> <!-- search box --> - <form name="searchform" action="<?php - $nutchPage =& Title::makeTitle(NS_SPECIAL, 'Nutch'); - echo $nutchPage->getLocalURL(); ?>" id="searchform"> - <input type="hidden" name="language" value="<?php - global $wgLanguageCode; - global $mdcDefaultSearchLanguage; - - if (isset($mdcDefaultSearchLanguage)) { - echo $mdcDefaultSearchLanguage; - } - else { - echo $wgLanguageCode; - } - ?>"> - <input type="hidden" name="start" value="0"> - <input type="hidden" name="hitsPerPage" value="10"> - <input id="searchInput" name="query" type="text" - accesskey="s" - <?php if( isset( $this->data['query'] ) ) { - ?> value="<?php $this->text('query') ?>"<?php } ?> /> - <input type='submit' name="fulltext" - class="searchButton" - value="<?php $this->msg('search') ?>" /> - </form> + <form name="searchform" action="<?php $this->text('searchaction') ?>" id="searchform"> + <input id="searchInput" name="search" type="text" + <?php if($this->haveMsg('accesskey-search')) { + ?>accesskey="<?php $this->msg('accesskey-search') ?>"<?php } + if( isset( $this->data['search'] ) ) { + ?> value="<?php $this->text('search') ?>"<?php } ?> /> + <input type='submit' name="go" class="searchButton" id="searchGoButton" + value="<?php $this->msg('go') ?>" + />&nbsp;<input type='submit' name="fulltext" + class="searchButton" + value="<?php $this->msg('search') ?>" /> + </form> <!-- end searchbox --> </div>