Adding deprecated flag to deprecated members.

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 5bbc28b7b4868df6813dddab321a72629d28b600..1821db949af2208377e4ca3ace2d111631a85a1f 100644
--- a/sdk/lib/html/dart2js/html_dart2js.dart
+++ b/sdk/lib/html/dart2js/html_dart2js.dart
@@ -7174,11 +7174,14 @@ abstract class Element extends Node implements ElementTraversal native "*Element
   /**
    * Deprecated, use innerHtml instead.
    */
+  @deprecated

[blois, 2012/12/07 00:06:15]

Note- not using @Deprecated('message') because dart_analyzer doesn't recognize
it and generate warnings yet. This syntax works.

   String get innerHTML => this.innerHtml;
+  @deprecated
   void set innerHTML(String value) {
     this.innerHtml = value;
   }
 
+  @deprecated
   void set elements(Collection<Element> value) {
     this.children = value;
   }
@@ -7186,6 +7189,7 @@ abstract class Element extends Node implements ElementTraversal native "*Element
   /**
    * Deprecated, use [children] instead.
    */
+  @deprecated
   List<Element> get elements => this.children;
 
   /**