Index: Source/modules/push_messaging/PushManager.h |
diff --git a/Source/modules/push_messaging/PushManager.h b/Source/modules/push_messaging/PushManager.h |
index b0b255f8bef0c760409c12cb980fc12337f6e5be..a405ef92dbc804238eb065182991871d0eeb3691 100644 |
--- a/Source/modules/push_messaging/PushManager.h |
+++ b/Source/modules/push_messaging/PushManager.h |
@@ -24,6 +24,7 @@ public: |
} |
ScriptPromise registerPushMessaging(ScriptState*, const String& senderId); |
+ ScriptPromise hasPermission(ScriptState*); |
void trace(Visitor*) { } |