Revert "Switch libraries to using new tags."

sdk/lib/html/doc/html.dartdoc

Index: sdk/lib/html/doc/html.dartdoc
diff --git a/sdk/lib/html/doc/html.dartdoc b/sdk/lib/html/doc/html.dartdoc
index 069ed467286f8f0af6242fed6447cb8e3dc98c3f..20d1e3ac33e30154a87fbc96fcfc548cf27bd1d4 100644
--- a/sdk/lib/html/doc/html.dartdoc
+++ b/sdk/lib/html/doc/html.dartdoc
@@ -5,22 +5,22 @@
 // Fake dart:html library for documentation.
 
 /// The Dart HTML5 Library.
-library dart.html;
-
-part 'interface/AbstractWorker.dartdoc';
-part 'interface/Element.dartdoc';
-part 'interface/Event.dartdoc';
-part 'interface/EventTarget.dartdoc';
-part 'interface/HttpRequest.dartdoc';
-part 'interface/MouseEvent.dartdoc';
-part 'interface/Storage.dartdoc';
-part 'interface/Node.dartdoc';
-part 'interface/UIEvent.dartdoc';
-part 'interface/WebSocket.dartdoc';
+#library("dart:html");
+
+#source('interface/AbstractWorker.dartdoc');
+#source('interface/Element.dartdoc');
+#source('interface/Event.dartdoc');
+#source('interface/EventTarget.dartdoc');
+#source('interface/HttpRequest.dartdoc');
+#source('interface/MouseEvent.dartdoc');
+#source('interface/Storage.dartdoc');
+#source('interface/Node.dartdoc');
+#source('interface/UIEvent.dartdoc');
+#source('interface/WebSocket.dartdoc');
 
 // Implementation files that appear to be necessary to load the sources.
 
-//part 'nodoc-src/SomeFile.dart';
+//#source('nodoc-src/SomeFile.dart');
 
 // Global definitions.