Fixing SelectElement.selectedOptions to work across all platforms.

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 0c96d45cd3975a17cefcb2098ab39e0336865e95..f8426b18213c08b245689db5e592ebe9f3845db0 100644
--- a/lib/html/dartium/html_dartium.dart
+++ b/lib/html/dartium/html_dartium.dart
@@ -33917,8 +33917,6 @@ abstract class SelectElement implements Element {
 // 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.
 
-// WARNING: Do not edit - generated code.
-
 class _HTMLSelectElementImpl extends _HTMLElementImpl implements SelectElement {
 
   bool get autofocus native "HTMLSelectElement_autofocus_Getter";
@@ -33981,6 +33979,10 @@ class _HTMLSelectElementImpl extends _HTMLElementImpl implements SelectElement {
 
   void setCustomValidity(String error) native "HTMLSelectElement_setCustomValidity_Callback";
 
+
+  List<OptionElement> get selectedOptions() {
+    return this.options.filter((o) => o.selected);
+  }
 }
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
@@ -43369,8 +43371,7 @@ class ReceivePortSync {
 get _isolateId => ReceivePortSync._isolateId;
 
 void _dispatchEvent(String receiver, var message) {
-  var event = document.$dom_createEvent('CustomEvent');
-  event.$dom_initCustomEvent(receiver, false, false, JSON.stringify(message));
+  var event = new CustomEvent(receiver, false, false, JSON.stringify(message));
   window.$dom_dispatchEvent(event);
 }