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

tools/dom/templates/html/dart2js/impl_Navigator.darttemplate

Index: tools/dom/templates/html/dart2js/impl_Navigator.darttemplate
diff --git a/tools/dom/templates/html/dart2js/impl_Navigator.darttemplate b/tools/dom/templates/html/dart2js/impl_Navigator.darttemplate
index 9b7117f0c5f5b69bac111c63166432087442d0b3..4b4a4d2d48e8b3434b0efc093d56ef7956b44632 100644
--- a/tools/dom/templates/html/dart2js/impl_Navigator.darttemplate
+++ b/tools/dom/templates/html/dart2js/impl_Navigator.darttemplate
@@ -4,10 +4,12 @@
 
 part of $LIBRARYNAME;
 
-/// @domName $DOMNAME; @docsEditable true
+/// @docsEditable true
+@DomName("$DOMNAME")
 class $CLASSNAME$EXTENDS$IMPLEMENTS$NATIVESPEC {
 
-  /// @domName Navigator.language; @docsEditable true
+  /// @docsEditable true
+  @DomName("Navigator.language")
   String get language => JS('String', '#.language || #.userLanguage', this,
       this);
   $!MEMBERS