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&); |