[webkit-reviews] review granted: [Bug 43072] Update numbered header element closing to match recent spec change : [Attachment 62734] Patch

[bugzilla-daemon at webkit.org]

Eric Seidel <eric at webkit.org> has granted Adam Barth <abarth at webkit.org>'s
request for review:
Bug 43072: Update numbered header element closing to match recent spec change
https://bugs.webkit.org/show_bug.cgi?id=43072

Attachment 62734: Patch
https://bugs.webkit.org/attachment.cgi?id=62734&action=review

------- Additional Comments from Eric Seidel <eric at webkit.org>
WebCore/html/HTMLElementStack.cpp:43
 +  inline bool isNumberedHeaderElement(Element* element)
We need to create a header and stuff all these in it sometime.

WebCore/html/HTMLElementStack.cpp:387
 +  bool HTMLElementStack::hasNumberedHeaderElementInScope() const
We could template these if we really wanted to.