| 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 1821db949af2208377e4ca3ace2d111631a85a1f..5bbc28b7b4868df6813dddab321a72629d28b600 100644
|
| --- a/sdk/lib/html/dart2js/html_dart2js.dart
|
| +++ b/sdk/lib/html/dart2js/html_dart2js.dart
|
| @@ -7174,14 +7174,11 @@ 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;
|
| }
|
| @@ -7189,7 +7186,6 @@ abstract class Element extends Node implements ElementTraversal native "*Element
|
| /**
|
| * Deprecated, use [children] instead.
|
| */
|
| - @deprecated
|
| List<Element> get elements => this.children;
|
|
|
| /**
|
|
|