Revert "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 8fd7c988a789e23833e15060d8ab50e5d7926fa6..daf6e9f2bd4d3297f67c603f436870f009198038 100644
--- a/lib/html/dart2js/html_dart2js.dart
+++ b/lib/html/dart2js/html_dart2js.dart
@@ -30228,9 +30228,6 @@ 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" {
 
@@ -30254,6 +30251,8 @@ class _SelectElementImpl extends _ElementImpl implements SelectElement native "*
 
   int selectedIndex;
 
+  final _HTMLCollectionImpl selectedOptions;
+
   int size;
 
   final String type;
@@ -30273,11 +30272,6 @@ 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