Fixing SelectElement.selectedOptions to work across all platforms.

lib/html/dart2js/html_dart2js.dart

Index: lib/html/dart2js/html_dart2js.dart
diff --git a/lib/html/dart2js/html_dart2js.dart b/lib/html/dart2js/html_dart2js.dart
index 50334baa86f4f133d4fede4dbf763d635d1409e2..c116fef70b8bec1b48d711200f8e4d37cb43f0e9 100644
--- a/lib/html/dart2js/html_dart2js.dart
+++ b/lib/html/dart2js/html_dart2js.dart
@@ -31246,6 +31246,9 @@ abstract class SelectElement implements Element {
   /** @domName HTMLSelectElement.setCustomValidity */
   void setCustomValidity(String error);
 }
+// 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
+// BSD-style license that can be found in the LICENSE file.
 
 class _SelectElementImpl extends _ElementImpl implements SelectElement native "*HTMLSelectElement" {
 
@@ -31269,8 +31272,6 @@ class _SelectElementImpl extends _ElementImpl implements SelectElement native "*
 
   int selectedIndex;
 
-  final _HTMLCollectionImpl selectedOptions;
-
   int size;
 
   final String type;
@@ -31290,6 +31291,11 @@ class _SelectElementImpl extends _ElementImpl implements SelectElement native "*
   _NodeImpl namedItem(String name) native;
 
   void setCustomValidity(String error) native;
+
+
+  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
@@ -40478,8 +40484,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);
 }