Summary: | Update numbered header element closing to match recent spec change | ||||||
---|---|---|---|---|---|---|---|
Product: | WebKit | Reporter: | Adam Barth <abarth> | ||||
Component: | New Bugs | Assignee: | Adam Barth <abarth> | ||||
Status: | RESOLVED FIXED | ||||||
Severity: | Normal | CC: | commit-queue, eric | ||||
Priority: | P2 | ||||||
Version: | 528+ (Nightly build) | ||||||
Hardware: | Other | ||||||
OS: | OS X 10.5 | ||||||
Bug Depends on: | |||||||
Bug Blocks: | 41123 | ||||||
Attachments: |
|
Description
Adam Barth
2010-07-27 13:09:21 PDT
Created attachment 62734 [details]
Patch
Comment on attachment 62734 [details]
Patch
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.
Comment on attachment 62734 [details] Patch Clearing flags on attachment: 62734 Committed r64237: <http://trac.webkit.org/changeset/64237> All reviewed patches have been landed. Closing bug. |