Wrapperless dart:html and friends

tool/input_sdk/lib/html/html_common/device.dart

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 part of html_common;
 
 /**
  * Utils for device detection.
  */
 class Device {
   static bool _isOpera;
   static bool _isIE;
   static bool _isFirefox;
   static bool _isWebKit;
   static String _cachedCssPrefix;
   static String _cachedPropertyPrefix;
 
   /**
    * Gets the browser's user agent. Using this function allows tests to inject
    * the user agent.
  * Returns the user agent.
    */
-  static String get userAgent => window.navigator.raw.userAgent;
+  static String get userAgent => window.navigator.userAgent;
 
   /**
    * Determines if the current device is running Opera.
    */
   static bool get isOpera {
     if (_isOpera == null) {
       _isOpera = userAgent.contains("Opera", 0);
     }
     return _isOpera;
   }
@@ skipping 69 matching lines @@
    */
   static bool isEventTypeSupported(String eventType) {
     // Browsers throw for unsupported event names.
     try {
       var e = new Event.eventType(eventType, '');
       return e is Event;
     } catch (_) { }
     return false;
   }
 }