| Index: third_party/WebKit/Source/modules/push_messaging/PushManager.h
|
| diff --git a/third_party/WebKit/Source/modules/push_messaging/PushManager.h b/third_party/WebKit/Source/modules/push_messaging/PushManager.h
|
| index d53cd45d93a151e6a5bdf2ce5a3d37910c466dcc..1e603a280b308802723bd75b738504f756a2ab0a 100644
|
| --- a/third_party/WebKit/Source/modules/push_messaging/PushManager.h
|
| +++ b/third_party/WebKit/Source/modules/push_messaging/PushManager.h
|
| @@ -26,6 +26,10 @@ class MODULES_EXPORT PushManager final : public GarbageCollected<PushManager>,
|
| return new PushManager(registration);
|
| }
|
|
|
| + // Web-exposed property:
|
| + static Vector<String> supportedContentEncodings();
|
| +
|
| + // Web-exposed methods:
|
| ScriptPromise subscribe(ScriptState*,
|
| const PushSubscriptionOptionsInit&,
|
| ExceptionState&);
|
|
|