Bug 164069

Summary:

[GTK] New stable DOM API headers should be included from webkitdom.h

Product:

WebKit

Reporter:

Michael Catanzaro <mcatanzaro>

Component:

WebKitGTK

Assignee:

Michael Catanzaro <mcatanzaro>

Status:

RESOLVED FIXED

Severity:

Normal

CC:

bugs-noreply, commit-queue, mcatanzaro

Priority:

Version:

Other

Hardware:

Unspecified

OS:

Unspecified

Attachments:

Description	Flags
Patch	none

Description Michael Catanzaro 2016-10-27 12:31:58 PDT

New stable DOM API headers should be included from webkitdom.h. This was missed in r205540.

Comment 1 Michael Catanzaro 2016-10-27 12:32:32 PDT

Created attachment 293043 [details]
Patch

Comment 2 WebKit Commit Bot 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>

Comment 3 WebKit Commit Bot 2016-10-27 23:02:02 PDT

All reviewed patches have been landed.  Closing bug.