RESOLVED FIXED 164069
[GTK] New stable DOM API headers should be included from webkitdom.h 
https://bugs.webkit.org/show_bug.cgi?id=164069
Summary [GTK] New stable DOM API headers should be included from webkitdom.h
Michael Catanzaro
Reported 2016-10-27 12:31:58 PDT
New stable DOM API headers should be included from webkitdom.h. This was missed in r205540.
Attachments
Patch (1.38 KB, patch)
2016-10-27 12:32 PDT, Michael Catanzaro 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Michael Catanzaro
Comment 1 2016-10-27 12:32:32 PDT
Created attachment 293043 [details] Patch
WebKit Commit Bot
Comment 2 2016-10-27 23:01:58 PDT
Comment on attachment 293043 [details] Patch Clearing flags on attachment: 293043 Committed r208035: <http://trac.webkit.org/changeset/208035>
WebKit Commit Bot
Comment 3 2016-10-27 23:02:02 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.