Adding deprecated flag to deprecated members.

sdk/lib/html/dart2js/html_dart2js.dart

 library html;
 
 import 'dart:collection';
 import 'dart:html_common';
 import 'dart:indexed_db';
 import 'dart:isolate';
 import 'dart:json';
 import 'dart:svg' as svg;
 import 'dart:web_audio' as web_audio;
 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
@@ skipping 7156 matching lines @@
     Map<String, String> attributes = this.attributes;
     attributes.clear();
     for (String key in value.keys) {
       attributes[key] = value[key];
     }
   }
 
   /**
    * 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;
   }
 
   /**
    * Deprecated, use [children] instead.
    */
+  @deprecated
   List<Element> get elements => this.children;
 
   /**
    * @domName childElementCount, firstElementChild, lastElementChild,
    *   children, Node.nodes.add
    */
   List<Element> get children => new _ChildrenElementList._wrap(this);
 
   void set children(List<Element> value) {
     // Copy list first since we don't want liveness during iteration.
@@ skipping 17235 matching lines @@
   T next() {
     if (!hasNext) {
       throw new StateError("No more elements");
     }
     return _array[_pos++];
   }
 
   final List<T> _array;
   int _pos;
 }