WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
43072
Update numbered header element closing to match recent spec change
https://bugs.webkit.org/show_bug.cgi?id=43072
Summary
Update numbered header element closing to match recent spec change
Adam Barth
Reported
2010-07-27 13:09:21 PDT
Update numbered header element closing to match recent spec change
Attachments
Patch
(6.47 KB, patch)
2010-07-27 13:13 PDT
,
Adam Barth
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Adam Barth
Comment 1
2010-07-27 13:13:46 PDT
Created
attachment 62734
[details]
Patch
Eric Seidel (no email)
Comment 2
2010-07-27 13:18:33 PDT
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.
WebKit Commit Bot
Comment 3
2010-07-28 15:31:52 PDT
Comment on
attachment 62734
[details]
Patch Clearing flags on attachment: 62734 Committed
r64237
: <
http://trac.webkit.org/changeset/64237
>
WebKit Commit Bot
Comment 4
2010-07-28 15:31:57 PDT
All reviewed patches have been landed. Closing bug.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug