| Index: branches/wmf/1.18wmf1/extensions/MobileFrontend/javascripts/opensearch.js |
| — | — | @@ -74,6 +74,9 @@ |
| 75 | 75 | var rel = i + 1; |
| 76 | 76 | section.value = section.value.replace( /^(?:\/\/|[^\/]+)*\//, '/' ); |
| 77 | 77 | html = html + "<div class=\"suggestions-result\" rel=\"" + rel + "\" title=\"" + section.label + "\"><a href='" + section.value + "'>" + section.label + "</a></div>"; |
| | 78 | + if ( i < ( sections.length - 1 ) ) { |
| | 79 | + html = html + '<hr />'; |
| | 80 | + } |
| 78 | 81 | } |
| 79 | 82 | html = html + '</div>'; |
| 80 | 83 | results.innerHTML = html; |
| Index: branches/wmf/1.18wmf1/extensions/MobileFrontend/stylesheets/common.css |
| — | — | @@ -16,7 +16,7 @@ |
| 17 | 17 | } |
| 18 | 18 | |
| 19 | 19 | .suggestions-results { |
| 20 | | - font-size: 1em; |
| | 20 | + font-size: 1.2em; |
| 21 | 21 | cursor: pointer; |
| 22 | 22 | } |
| 23 | 23 | |
| Index: branches/wmf/1.18wmf1/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=10282011120715' . $endScriptTag : ''; |
| | 22 | +$openSearchScript = ( self::$isBetaGroupMember ) ? $startScriptTag . $javaScriptPath . 'opensearch.js?version=10282011120815' . $endScriptTag : ''; |
| 23 | 23 | |
| 24 | 24 | $applicationHtml = <<<EOT |
| 25 | 25 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" |
| — | — | @@ -27,7 +27,7 @@ |
| 28 | 28 | <head> |
| 29 | 29 | <title>{$htmlTitle}</title> |
| 30 | 30 | <meta http-equiv="content-type" content="application/xhtml+xml; charset=utf-8" /> |
| 31 | | - <link href='{$wgExtensionAssetsPath}/MobileFrontend/stylesheets/common.css?version=10282011120715' media='all' rel='Stylesheet' type='text/css' /> |
| | 31 | + <link href='{$wgExtensionAssetsPath}/MobileFrontend/stylesheets/common.css?version=10282011120815' media='all' rel='Stylesheet' type='text/css' /> |
| 32 | 32 | <link href='{$wgExtensionAssetsPath}/MobileFrontend/stylesheets/{$cssFileName}.css?version=10202011120715' media='all' rel='Stylesheet' type='text/css' /> |
| 33 | 33 | <meta name="ROBOTS" content="NOINDEX, NOFOLLOW" /> |
| 34 | 34 | <meta name = "viewport" content = "width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=0" /> |