| Index: tool/input_sdk/lib/html/html_common/device.dart
|
| diff --git a/tool/input_sdk/lib/html/html_common/device.dart b/tool/input_sdk/lib/html/html_common/device.dart
|
| index d36339bd521e0ed2cd6dc448290cf3e353a46613..f3245fb62ce2a5b437d902c63f924a5ed6a13fad 100644
|
| --- a/tool/input_sdk/lib/html/html_common/device.dart
|
| +++ b/tool/input_sdk/lib/html/html_common/device.dart
|
| @@ -20,7 +20,7 @@ class Device {
|
| * the user agent.
|
| * Returns the user agent.
|
| */
|
| - static String get userAgent => window.navigator.userAgent;
|
| + static String get userAgent => window.navigator.raw.userAgent;
|
|
|
| /**
|
| * Determines if the current device is running Opera.
|
|
|