| Index: client/html/src/Device.dart
|
| diff --git a/client/html/src/Device.dart b/client/html/src/Device.dart
|
| index d171df42917a089bf9512daac02b05e8284fff3c..7d8d54e17b3606ada5ed24435e9096acfc21e915 100644
|
| --- a/client/html/src/Device.dart
|
| +++ b/client/html/src/Device.dart
|
| @@ -11,7 +11,7 @@ class _Device {
|
| * the user agent.
|
| * Returns the user agent.
|
| */
|
| - static String get userAgent() => dom.window.navigator.userAgent;
|
| + static String get userAgent() => window.navigator.userAgent;
|
|
|
| /**
|
| * Determines if the current device is running Firefox.
|
|
|