Push API: define push event on Service Worker.

Source/web/ServiceWorkerGlobalScopeClientImpl.cpp

 /*
  * Copyright (C) 2014 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 70 matching lines @@
     WebServiceWorkerResponse webResponse;
     response->populateWebServiceWorkerResponse(webResponse);
     m_client.didHandleFetchEvent(fetchEventID, webResponse);
 }
 
 void ServiceWorkerGlobalScopeClientImpl::didHandleSyncEvent(int syncEventID)
 {
     m_client.didHandleSyncEvent(syncEventID);
 }
 
+void ServiceWorkerGlobalScopeClientImpl::didHandlePushEvent(int eventID)
+{
+    m_client.didHandlePushEvent(eventID);
+}
+
 void ServiceWorkerGlobalScopeClientImpl::postMessageToClient(int clientID, const WebString& message, PassOwnPtr<WebMessagePortChannelArray> webChannels)
 {
     m_client.postMessageToClient(clientID, message, webChannels.leakPtr());
 }
 
 ServiceWorkerGlobalScopeClientImpl::ServiceWorkerGlobalScopeClientImpl(WebServiceWorkerContextClient& client)
     : m_client(client)
 {
 }
 
 } // namespace blink