Index: trunk/extensions/MobileFrontend/javascripts/opensearch.js |
— | — | @@ -12,6 +12,9 @@ |
13 | 13 | var results = document.getElementById( 'results' ); |
14 | 14 | var search = document.getElementById( 'search' ); |
15 | 15 | var sq = document.getElementById( 'sq' ); |
| 16 | +var iw = ( document.documentElement.clientWidth ) ? document.documentElement.clientWidth : document.body.clientWidth; |
| 17 | +sq.style.width = ( iw - 160 ) + pixels; |
| 18 | +search.style.width = ( iw - 162 ) + pixels;; |
16 | 19 | |
17 | 20 | results.style.width = ( sq.offsetWidth - 2 ) + pixels; |
18 | 21 | results.style.left = sq.offsetLeft + pixels; |
Index: trunk/extensions/MobileFrontend/views/layout/application.html.php |
— | — | @@ -18,7 +18,7 @@ |
19 | 19 | $endScriptTag = '"></script>'; |
20 | 20 | $javaScriptPath = $wgExtensionAssetsPath . '/MobileFrontend/javascripts/'; |
21 | 21 | |
22 | | -$openSearchScript = ( self::$isBetaGroupMember ) ? $startScriptTag . $javaScriptPath . 'opensearch.js?version=10282011120815' . $endScriptTag : ''; |
| 22 | +$openSearchScript = ( self::$isBetaGroupMember ) ? $startScriptTag . $javaScriptPath . 'opensearch.js?version=10282011124415' . $endScriptTag : ''; |
23 | 23 | |
24 | 24 | $applicationHtml = <<<EOT |
25 | 25 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" |