Changed @domName annotation in comment to full fledge @DomName annotation.

sdk/lib/html/html_common/metadata.dart

Index: sdk/lib/html/html_common/metadata.dart
diff --git a/sdk/lib/html/html_common/metadata.dart b/sdk/lib/html/html_common/metadata.dart
index d1b2c41d15a9d13005972f207cfb47feded7ea80..fc4f10bef6274d08a8e0701a38bf78c6b6741421 100644
--- a/sdk/lib/html/html_common/metadata.dart
+++ b/sdk/lib/html/html_common/metadata.dart
@@ -40,3 +40,16 @@ class SupportedBrowser {
 class Experimental {
   const Experimental();
 }
+
+
+/**
+ * Metadata that specifies the DOM name associated with the element.
+ *
+ * This is used for API generation.
+ *
+ * [name] should be formatted as `interface.member`.
+ */
+class DomName {
+  final name;

[sra1, 2013/01/15 11:47:13]

Any reason this is not:
final String name;

+  const DomName(this.name);
+}