Author: buildbot
Date: Sat Jun  8 19:22:43 2013
New Revision: 864885

Log:
Staging update by buildbot for ooo-site

Modified:
    websites/staging/ooo-site/trunk/cgi-bin/   (props changed)
    websites/staging/ooo-site/trunk/content/   (props changed)
    websites/staging/ooo-site/trunk/content/download/test/download.js

Propchange: websites/staging/ooo-site/trunk/cgi-bin/
------------------------------------------------------------------------------
--- cms:source-revision (original)
+++ cms:source-revision Sat Jun  8 19:22:43 2013
@@ -1 +1 @@
-1491039
+1491040

Propchange: websites/staging/ooo-site/trunk/content/
------------------------------------------------------------------------------
--- cms:source-revision (original)
+++ cms:source-revision Sat Jun  8 19:22:43 2013
@@ -1 +1 @@
-1491039
+1491040

Modified: websites/staging/ooo-site/trunk/content/download/test/download.js
==============================================================================
--- websites/staging/ooo-site/trunk/content/download/test/download.js (original)
+++ websites/staging/ooo-site/trunk/content/download/test/download.js Sat Jun  
8 19:22:43 2013
@@ -184,7 +184,7 @@ function getPlatform() {
                                EXTENSION       = ".tar.gz";
                                if ( navigator.userAgent.toLowerCase().indexOf( 
"debian" )    != -1 ||
                                     navigator.userAgent.toLowerCase().indexOf( 
"ubuntu" )    != -1 ||
-                                    navigator.userAgent.toLowerCase().indexOf( 
"iceweasel") != -1 ) {
+                                    navigator.userAgent.toLowerCase().indexOf( 
"iceweasel" ) != -1 ) {
                                        UI_PLATFORM     = "Linux Debian 64-bit 
(DEB)";
                                        PLATFORM        = 
"Linux_x86-64_install-deb";
                                        EXTENSION       = ".tar.gz";
@@ -237,7 +237,7 @@ function getPlatform() {
                        UI_PLATFORM     = "Android mobile device";
                        PLATFORM        = "no_mirror_platform";
                        EXTENSION       = "no_extension";
-               } else if ( navigator.userAgent.toLowerCase().indexOf( 
"blackberry" ) !=-1 ) {
+               } else if ( navigator.userAgent.toLowerCase().indexOf( 
"blackberry" ) != -1 ) {
                        UI_PLATFORM     = "Blackberry mobile device";
                        PLATFORM        = "no_mirror_platform";
                        EXTENSION       = "no_extension";


Reply via email to