1
1
var platform_override = null ;
2
2
3
- function android_or_unix ( ) {
4
- return ( navigator . appVersion . indexOf ( "Android" ) != - 1 ) ? "android" : "unix" ;
5
- }
6
-
7
3
function detect_platform ( ) {
8
4
"use strict" ;
9
5
@@ -14,11 +10,12 @@ function detect_platform() {
14
10
var os = "unknown" ;
15
11
16
12
if ( navigator . platform == "Linux x86_64" ) { os = "unix" ; }
17
- if ( navigator . platform == "Linux i686" ) { os = android_or_unix ( ) ; }
13
+ if ( navigator . platform == "Linux i686" ) { os = "unix" ; }
18
14
if ( navigator . platform == "Linux i686 on x86_64" ) { os = "unix" ; }
19
- if ( navigator . platform == "Linux aarch64" ) { os = android_or_unix ( ) ; }
20
- if ( navigator . platform == "Linux armv6l" ) { os = android_or_unix ( ) ; }
21
- if ( navigator . platform == "Linux armv7l" ) { os = android_or_unix ( ) ; }
15
+ if ( navigator . platform == "Linux aarch64" ) { os = "unix" ; }
16
+ if ( navigator . platform == "Linux armv6l" ) { os = "unix" ; }
17
+ if ( navigator . platform == "Linux armv7l" ) { os = "unix" ; }
18
+ if ( navigator . platform == "Linux armv8l" ) { os = "unix" ; }
22
19
if ( navigator . platform == "Linux ppc64" ) { os = "unix" ; }
23
20
if ( navigator . platform == "Linux mips" ) { os = "unix" ; }
24
21
if ( navigator . platform == "Linux mips64" ) { os = "unix" ; }
@@ -47,22 +44,18 @@ function adjust_for_platform() {
47
44
48
45
var unix_div = document . getElementById ( "platform-instructions-unix" ) ;
49
46
var win_div = document . getElementById ( "platform-instructions-win" ) ;
50
- var android_div = document . getElementById ( "platform-instructions-android" ) ;
51
47
var unknown_div = document . getElementById ( "platform-instructions-unknown" ) ;
52
48
var default_div = document . getElementById ( "platform-instructions-default" ) ;
53
49
54
50
unix_div . style . display = "none" ;
55
51
win_div . style . display = "none" ;
56
- android_div . style . display = "none" ;
57
52
unknown_div . style . display = "none" ;
58
53
default_div . style . display = "none" ;
59
54
60
55
if ( platform == "unix" ) {
61
56
unix_div . style . display = "block" ;
62
57
} else if ( platform == "win" ) {
63
58
win_div . style . display = "block" ;
64
- } else if ( platform == "android" ) {
65
- android_div . style . display = "block" ;
66
59
} else if ( platform == "unknown" ) {
67
60
unknown_div . style . display = "block" ;
68
61
} else {
@@ -80,8 +73,6 @@ function cycle_platform() {
80
73
} else if ( platform_override == "win" ) {
81
74
platform_override = "unix" ;
82
75
} else if ( platform_override == "unix" ) {
83
- platform_override = "android" ;
84
- } else if ( platform_override == "android" ) {
85
76
platform_override = "default" ;
86
77
}
87
78
adjust_for_platform ( ) ;
0 commit comments