| Index: trunk/extensions/MobileFrontend/views/layout/_search_webkit.html.php |
| — | — | @@ -8,11 +8,8 @@ |
| 9 | 9 | $randomButton = self::$messages['mobile-frontend-random-button']; |
| 10 | 10 | |
| 11 | 11 | $scriptUrl = wfScript(); |
| | 12 | +$searchBoxDisplayNone = ( self::$hideSearchBox ) ? ' style="display: none;" ' : ''; |
| 12 | 13 | |
| 13 | | -if ( self::$hideSearchBox ) { |
| 14 | | - $searchBoxDisplayNone = ' style="display: none;" '; |
| 15 | | -} |
| 16 | | - |
| 17 | 14 | $searchWebkitHtml = <<<EOD |
| 18 | 15 | <div id='header'> |
| 19 | 16 | <div id='searchbox'> |