Push API: define push event on Service Worker.

Source/web/ServiceWorkerGlobalScopeProxy.cpp

Index: Source/web/ServiceWorkerGlobalScopeProxy.cpp
diff --git a/Source/web/ServiceWorkerGlobalScopeProxy.cpp b/Source/web/ServiceWorkerGlobalScopeProxy.cpp
index 8cd0d7767f1f9f89cb22ae6e250353c47e9dde8c..876598546fd634c6d81abccf7ccb09beb79d5908 100644
--- a/Source/web/ServiceWorkerGlobalScopeProxy.cpp
+++ b/Source/web/ServiceWorkerGlobalScopeProxy.cpp
@@ -36,6 +36,7 @@
 #include "core/dom/MessagePort.h"
 #include "core/events/MessageEvent.h"
 #include "core/workers/WorkerGlobalScope.h"
+#include "modules/push_messaging/PushEvent.h"
 #include "modules/serviceworkers/FetchEvent.h"
 #include "modules/serviceworkers/InstallEvent.h"
 #include "modules/serviceworkers/InstallPhaseEvent.h"
@@ -96,6 +97,12 @@ void ServiceWorkerGlobalScopeProxy::dispatchMessageEvent(const WebString& messag
     m_workerGlobalScope->dispatchEvent(MessageEvent::create(ports.release(), value));
 }
 
+void ServiceWorkerGlobalScopeProxy::dispatchPushEvent(int eventID, const WebString& data)
+{
+    ASSERT(m_workerGlobalScope);
+    m_workerGlobalScope->dispatchEvent(PushEvent::create(EventTypeNames::push, data));
+}
+
 void ServiceWorkerGlobalScopeProxy::dispatchSyncEvent(int eventID)
 {
     ASSERT(m_workerGlobalScope);