Standardized /// @domName comments.

sdk/lib/html/scripts/htmldartgenerator.py

Index: sdk/lib/html/scripts/htmldartgenerator.py
diff --git a/sdk/lib/html/scripts/htmldartgenerator.py b/sdk/lib/html/scripts/htmldartgenerator.py
index 45d122d04c835f07a7c9056b41b01b16b935dfe2..8f445a12615aa22db23d0db00b1ba7d48d9cd8a2 100644
--- a/sdk/lib/html/scripts/htmldartgenerator.py
+++ b/sdk/lib/html/scripts/htmldartgenerator.py
@@ -32,26 +32,24 @@ class HtmlDartGenerator(object):
     """ Emits the MDN dartdoc comment for an attribute.
     """
     dom_name = DartDomNameOfAttribute(attribute)
-    self._members_emitter.Emit('\n  /** @domName $DOMINTERFACE.$DOMNAME;'
-                               ' @docsEditable true */',
+    self._members_emitter.Emit('\n  /// @domName $DOMINTERFACE.$DOMNAME;'
+                               ' @docsEditable true',
         DOMINTERFACE=attribute.doc_js_interface_name,
         DOMNAME=dom_name)
 
   def EmitOperationDocumentation(self, operation):
     """ Emits the MDN dartdoc comment for an operation.
     """
-    self._members_emitter.Emit('\n  /** @domName $DOMINTERFACE.$DOMNAME;'
-                               ' @docsEditable true */',
+    self._members_emitter.Emit('\n  /// @domName $DOMINTERFACE.$DOMNAME;'
+                               ' @docsEditable true',
         DOMINTERFACE=operation.overloads[0].doc_js_interface_name,
         DOMNAME=operation.name)
 
   def EmitEventGetter(self, events_class_name):
     self._members_emitter.Emit(
-        '\n  /**'
-        '\n   * @domName EventTarget.addEventListener, '
+        '\n  /// @domName EventTarget.addEventListener, '
         'EventTarget.removeEventListener, EventTarget.dispatchEvent;'
         ' @docsEditable true'
-        '\n   */'
         '\n  $TYPE get on =>\n    new $TYPE(this);\n',
         TYPE=events_class_name)