Index: public/web/WebFrameClient.h |
diff --git a/public/web/WebFrameClient.h b/public/web/WebFrameClient.h |
index 0000f0f92654fa5e7d64ba5bc779b06afec9f808..d88668805539732f8520d875a0a14e201563e218 100644 |
--- a/public/web/WebFrameClient.h |
+++ b/public/web/WebFrameClient.h |
@@ -79,6 +79,7 @@ class WebSocketHandle; |
class WebNode; |
class WebPlugin; |
class WebPluginPlaceholder; |
+class WebPushClient; |
class WebRTCPeerConnectionHandler; |
class WebScreenOrientationClient; |
class WebSharedWorker; |
@@ -337,8 +338,12 @@ public: |
// Push API --------------------------------------------------- |
// Requests permission to use the Push API in the origin of this frame. |
+ // FIXME: Merge this into WebPushClient as it's not going away as originally planned. |
virtual void requestPushPermission(WebCallback* callback) { } |
+ // Used to access the embedder for the Push API. |
+ virtual WebPushClient* pushClient() { return 0; } |
+ |
// Editing ------------------------------------------------------------- |