sdk/lib/html/dart2js/html_dart2js.dart

Index: sdk/lib/html/dart2js/html_dart2js.dart
diff --git a/sdk/lib/html/dart2js/html_dart2js.dart b/sdk/lib/html/dart2js/html_dart2js.dart
index 57e33afa57c054d11028eb92cb1b1c0aeedb9ee1..8d5d300b5f138d26754e32e1e6fab4c85d1f34b9 100644
--- a/sdk/lib/html/dart2js/html_dart2js.dart
+++ b/sdk/lib/html/dart2js/html_dart2js.dart
@@ -6903,15 +6903,6 @@ class DocumentFragment extends Node native "*DocumentFragment" {
   factory DocumentFragment.svg(String svgContent) =>
       _DocumentFragmentFactoryProvider.createDocumentFragment_svg(svgContent);
 
-  @deprecated
-  List<Element> get elements => this.children;
-
-  // TODO: The type of value should be Collection<Element>. See http://b/5392897
-  @deprecated
-  void set elements(value) {
-    this.children = value;
-  }
-
   // Native field is used only by Dart code so does not lead to instantiation
   // of native classes
   @Creates('Null')
@@ -8524,27 +8515,6 @@ abstract class Element extends Node implements ElementTraversal native "*Element
   }
 
   /**
-   * Deprecated, use innerHtml instead.
-   */
-  @deprecated
-  String get innerHTML => this.innerHtml;
-  @deprecated
-  void set innerHTML(String value) {
-    this.innerHtml = value;
-  }
-
-  @deprecated
-  void set elements(Collection<Element> value) {
-    this.children = value;
-  }
-
-  /**
-   * Deprecated, use [children] instead.
-   */
-  @deprecated
-  List<Element> get elements => this.children;
-
-  /**
    * List of the direct children of this element.
    *
    * This collection can be used to add and remove elements from the document.