Author: alessio.soldano(a)jboss.com Date: 2009-02-16 09:45:17 -0500 (Mon, 16 Feb 2009) New Revision: 9315 Modified: projects/wiki/skins/Devmo.php Log: [JBWS-2416] Applying Gianluca Varisco's patch for enabling search Modified: projects/wiki/skins/Devmo.php =================================================================== --- projects/wiki/skins/Devmo.php 2009-02-16 14:25:47 UTC (rev 9314) +++ projects/wiki/skins/Devmo.php 2009-02-16 14:45:17 UTC (rev 9315) @@ -98,18 +98,18 @@ <div id="ORGheader"> <div id="ORGLogo"></div> </div> - - <!-- search box --> - <form name="searchform" action="/mediawiki/index.php" id="searchform" method="GET"> - <input type="hidden" name="title" value="Search"/> - <input type="hidden" name="config" value=""> - <input type="hidden" name="restrict" value=""> - <input type="hidden" name="exclude" value=""> - <input id="searchInput" name="words" type="text"/> - &nbsp; + + <!-- search box --> + <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="fulltext" class="searchButton" value="<?php $this->msg('search') ?>" /> - </form> + </form> <!-- end searchbox --> + </div> <div id="navigation">