| 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 -------------------------------------------------------------
|
|
|
|
|