You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@openoffice.apache.org by bu...@apache.org on 2013/06/08 21:22:44 UTC
svn commit: r864885 - in /websites/staging/ooo-site/trunk: cgi-bin/ content/
content/download/test/download.js
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";