lib/html/dartium/html_dartium.dart

Index: lib/html/dartium/html_dartium.dart
diff --git a/lib/html/dartium/html_dartium.dart b/lib/html/dartium/html_dartium.dart
index a8c79c6589a9b07f7c56a78cdafcdf4f6af4a305..c2b9a790b209cb6942b3d7a8ed879ae8416b7edf 100644
--- a/lib/html/dartium/html_dartium.dart
+++ b/lib/html/dartium/html_dartium.dart
@@ -836,10 +836,13 @@ String get _browserPrefix() {
   if (_cachedBrowserPrefix === null) {
     if (_Device.isFirefox) {
       _cachedBrowserPrefix = '-moz-';
+    } else if (_Device.isIE) {
+      _cachedBrowserPrefix = '-ms-';
+    } else if (_Device.isOpera) {
+      _cachedBrowserPrefix = '-o-';
     } else {
       _cachedBrowserPrefix = '-webkit-';
     }
-    // TODO(jacobr): support IE 9.0 and Opera as well.
   }
   return _cachedBrowserPrefix;
 }
@@ -40834,6 +40837,16 @@ class _Device {
   static String get userAgent() => window.navigator.userAgent;
 
   /**
+   * Determines if the current device is running Opera.
+   */
+  static bool get isOpera() => userAgent.contains("Opera", 0);
+
+  /**
+   * Determines if the current device is running Internet Explorer.
+   */
+  static bool get isIE() => !isOpera && userAgent.contains("MSIE", 0);
+
+  /**
    * Determines if the current device is running Firefox.
    */
   static bool get isFirefox() => userAgent.contains("Firefox", 0);