DO NOT REVIEW Bindings and plumbing for push messaging API.

Source/modules/pushmessaging/NavigatorPushManager.cpp

Index: Source/modules/pushmessaging/NavigatorPushManager.cpp
diff --git a/Source/modules/pushmessaging/NavigatorPushManager.cpp b/Source/modules/pushmessaging/NavigatorPushManager.cpp
new file mode 100644
index 0000000000000000000000000000000000000000..40a4039503a03cabf0374e889e23c5558307f2dc
--- /dev/null
+++ b/Source/modules/pushmessaging/NavigatorPushManager.cpp
@@ -0,0 +1,49 @@
+// Copyright 2014 The Chromium Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+#include "config.h"
+#include "modules/pushmessaging/NavigatorPushManager.h"
+
+#include "core/dom/Document.h"
+#include "core/frame/Navigator.h"
+#include "modules/pushmessaging/PushManager.h"
+
+namespace WebCore {
+
+NavigatorPushManager::NavigatorPushManager()
+{
+}
+
+NavigatorPushManager::~NavigatorPushManager()
+{
+}
+
+const char* NavigatorPushManager::supplementName()
+{
+    return "NavigatorPushManager";
+}
+
+NavigatorPushManager& NavigatorPushManager::from(Navigator& navigator)
+{
+    NavigatorPushManager* supplement = static_cast<NavigatorPushManager*>(Supplement<Navigator>::from(navigator, supplementName()));
+    if (!supplement) {
+        supplement = new NavigatorPushManager();
+        provideTo(navigator, supplementName(), adoptPtr(supplement));
+    }
+    return *supplement;
+}
+
+PushManager* NavigatorPushManager::push(Navigator& navigator)
+{
+    return NavigatorPushManager::from(navigator).pushManager();
+}
+
+PushManager* NavigatorPushManager::pushManager() const
+{
+    if (!m_pushManager)
+        m_pushManager = PushManager::create();
+    return m_pushManager.get();
+}
+
+} // namespace WebCore