Index: sdk/lib/html/dartium/html_dartium.dart |
diff --git a/sdk/lib/html/dartium/html_dartium.dart b/sdk/lib/html/dartium/html_dartium.dart |
index e4c5451e15cf43652749e92e0e400dbfca03a9c4..cb201d77fed8c8fff2600adfeef5f403785d0436 100644 |
--- a/sdk/lib/html/dartium/html_dartium.dart |
+++ b/sdk/lib/html/dartium/html_dartium.dart |
@@ -8788,14 +8788,11 @@ abstract class Element extends Node implements ElementTraversal { |
/** |
* 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; |
} |
@@ -8803,7 +8800,6 @@ abstract class Element extends Node implements ElementTraversal { |
/** |
* Deprecated, use [children] instead. |
*/ |
- @deprecated |
List<Element> get elements => this.children; |
/** |