1 files changed, 3 insertions, 0 deletions
diff --git a/webkit/api/public/WebKit.h b/webkit/api/public/WebKit.h
index a3e8086..f824808 100644
--- a/webkit/api/public/WebKit.h
+++ b/webkit/api/public/WebKit.h
@@ -77,6 +77,9 @@ namespace WebKit {
     WEBKIT_API void registerExtension(v8::Extension*,
                                       const WebString& schemeRestriction);
 
+    // Process any pending JavaScript console messages.
+    WEBKIT_API void flushConsoleMessages();
+
     // Enables HTML5 media support.
     WEBKIT_API void enableMediaPlayer();