[html5lib] triple slash comment style

[html5lib] triple slash comment style

Also improves ./tools/line_doc_comments.dart to warn about lines >= 80 chars, to make it easier to catch these.

R=sigmund@google.com

Committed: https://code.google.com/p/dart/source/detail?r=32997

[Jennifer Messerly, 2014-02-24 22:42:18]

https://codereview.chromium.org/178843003/diff/20001/tools/line_doc_comments....
File tools/line_doc_comments.dart (right):

https://codereview.chromium.org/178843003/diff/20001/tools/line_doc_comments....
tools/line_doc_comments.dart:102: if (oldLine != line && line.length > 80 &&
oldLine.length <= 80) {
note: I'm going to remove the `oldLine != line` check, as it is redundant :)

[Siggi Cherem (dart-lang), 2014-02-24 23:03:28]

lgtm! --- only 1 >80 col line below

https://codereview.chromium.org/178843003/diff/40001/pkg/third_party/html5lib...
File pkg/third_party/html5lib/lib/dom.dart (right):

https://codereview.chromium.org/178843003/diff/40001/pkg/third_party/html5lib...
pkg/third_party/html5lib/lib/dom.dart:88: /// Note that attribute order needs to
be stable for serialization, so we use a
80

[Jennifer Messerly, 2014-02-25 00:32:08]

https://codereview.chromium.org/178843003/diff/40001/pkg/third_party/html5lib...
File pkg/third_party/html5lib/lib/dom.dart (right):

https://codereview.chromium.org/178843003/diff/40001/pkg/third_party/html5lib...
pkg/third_party/html5lib/lib/dom.dart:88: /// Note that attribute order needs to
be stable for serialization, so we use a
On 2014/02/24 23:03:29, Siggi Cherem (dart-lang) wrote:
> 80

funny. this was the line I was iterating on when I was futzing with the script.
Must've reverted everything and forgot to fix it >.<

[Jennifer Messerly, 2014-02-25 00:36:25]

Committed patchset #3 manually as r32997 (presubmit successful).