| 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..22a60eac4608f0308913713efdb1fcbb24ebbfba 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 the Android platform or not. */
|
| + get isAndroid() {
|
| + return /Android/.test(navigator.userAgent);
|
| + },
|
| };
|
| }();
|
|
|