| Index: lib/runtime/dart/html_common.js
|
| diff --git a/lib/runtime/dart/html_common.js b/lib/runtime/dart/html_common.js
|
| index cd149ac0e21319bd9c9803a10e7ec2a459ecee48..6158a4e10b5d7818f5eb23d2de7f60813cfce5a0 100644
|
| --- a/lib/runtime/dart/html_common.js
|
| +++ b/lib/runtime/dart/html_common.js
|
| @@ -618,7 +618,7 @@ dart_library.library('dart/html_common', null, /* Imports */[
|
| dart.fn(convertNativePromiseToDartFuture, async.Future, [dart.dynamic]);
|
| class Device extends core.Object {
|
| static get userAgent() {
|
| - return dart.as(dart.dload(html.window.navigator, 'userAgent'), core.String);
|
| + return dart.as(dart.dload(html.window.navigator.raw, 'userAgent'), core.String);
|
| }
|
| static get isOpera() {
|
| if (Device._isOpera == null) {
|
|
|