protected override void maybeErrAttributesOnEndTag(HtmlAttributes attrs)
{
if (attrs.getLength() != 0) {
/*
* When an end tag token is emitted with attributes, that is a parse
* error.
*/
err("End tag had attributes.");
}
}