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