Changeset 208035 in webkit

Timestamp:

Oct 27, 2016 10:59:06 PM (7 years ago)

Author:

Michael Catanzaro

Message:

[GTK] New stable DOM API headers should be included from webkitdom.h
​https://bugs.webkit.org/show_bug.cgi?id=164069

Reviewed by Carlos Garcia Campos.

• WebProcess/InjectedBundle/API/gtk/DOM/webkitdom.h:

Location:

trunk/Source/WebKit2

Files:

• ChangeLog (modified) (1 diff)
• WebProcess/InjectedBundle/API/gtk/DOM/webkitdom.h (modified) (1 diff)

trunk/Source/WebKit2/ChangeLog

@@ +1 @@
+2016-10-27  Michael Catanzaro  <mcatanzaro@igalia.com>
+
+        [GTK] New stable DOM API headers should be included from webkitdom.h
+        https://bugs.webkit.org/show_bug.cgi?id=164069
+
+        Reviewed by Carlos Garcia Campos.
+
+        * WebProcess/InjectedBundle/API/gtk/DOM/webkitdom.h:
+
 2016-10-27  Simon Fraser  <simon.fraser@apple.com>
 

trunk/Source/WebKit2/WebProcess/InjectedBundle/API/gtk/DOM/webkitdom.h

@@ -34 +34 @@
 #include <webkitdom/WebKitDOMCustom.h>
 #include <webkitdom/WebKitDOMDOMImplementation.h>
+#include <webkitdom/WebKitDOMDOMSelection.h>
+#include <webkitdom/WebKitDOMDOMTokenList.h>
 #include <webkitdom/WebKitDOMDOMWindow.h>
 #include <webkitdom/WebKitDOMDeprecated.h>