Index: Source/modules/push_messaging/PushManager.h |
diff --git a/Source/modules/push_messaging/PushManager.h b/Source/modules/push_messaging/PushManager.h |
index 54854033e1abfda4acc3367b22dc3f64f70911a9..3df33c39990344013dab9fc067ea7ef1bd42467a 100644 |
--- a/Source/modules/push_messaging/PushManager.h |
+++ b/Source/modules/push_messaging/PushManager.h |
@@ -15,13 +15,13 @@ class ExecutionContext; |
class ScriptPromise; |
class ScriptState; |
-class PushManager FINAL : public GarbageCollectedFinalized<PushManager>, public ScriptWrappable { |
+class PushManager FINAL : public GarbageCollectedFinalizedWillBeGarbageCollected<PushManager>, public ScriptWrappable { |
+ DECLARE_EMPTY_DESTRUCTOR_WILL_BE_REMOVED(PushManager); |
haraken
2014/07/04 01:25:29
Since PushManager is FINAL, it looks OK to not use
|
public: |
static PushManager* create() |
{ |
return new PushManager(); |
} |
- virtual ~PushManager(); |
ScriptPromise registerPushMessaging(ScriptState*, const String& senderId); |