Index: ui/webui/resources/js/cr.js |
diff --git a/ui/webui/resources/js/cr.js b/ui/webui/resources/js/cr.js |
index ddf7c87950035ee6e80710ee474a3b46aadfce2f..6d4e07756791ee3195a7480bb6463a65d5943c4c 100644 |
--- a/ui/webui/resources/js/cr.js |
+++ b/ui/webui/resources/js/cr.js |
@@ -430,5 +430,10 @@ var cr = function() { |
get isLinux() { |
return /Linux/.test(navigator.userAgent); |
}, |
+ |
+ /** Whether this is on Android. */ |
+ get isAndroid() { |
+ return /Android/.test(navigator.userAgent); |
+ } |
}; |
}(); |