Define push_messaging module with PushManager skeleton.

Source/modules/push_messaging/NavigatorPushManager.h

Index: Source/modules/push_messaging/NavigatorPushManager.h
diff --git a/Source/modules/push_messaging/NavigatorPushManager.h b/Source/modules/push_messaging/NavigatorPushManager.h
new file mode 100644
index 0000000000000000000000000000000000000000..0759df3f1d645efe2415e98fdf955c4aab778158
--- /dev/null
+++ b/Source/modules/push_messaging/NavigatorPushManager.h
@@ -0,0 +1,36 @@
+// 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.
+
+#ifndef NavigatorPushManager_h
+#define NavigatorPushManager_h
+
+#include "heap/Handle.h"
+#include "platform/Supplementable.h"
+
+namespace WebCore {
+
+class Navigator;
+class PushManager;
+
+class NavigatorPushManager FINAL : public NoBaseWillBeGarbageCollectedFinalized<NavigatorPushManager>, public WillBeHeapSupplement<Navigator> {
+    WILL_BE_USING_GARBAGE_COLLECTED_MIXIN(NavigatorGeolocation);
+public:
+    virtual ~NavigatorPushManager();
+    static NavigatorPushManager& from(Navigator&);
+
+    static PushManager* push(Navigator&);
+    PushManager* pushManager();
+
+    void trace(Visitor*);
+
+private:
+    NavigatorPushManager();
+    static const char* supplementName();
+
+    RefPtrWillBeMember<PushManager> m_pushManager;
+};
+
+} // namespace WebCore
+
+#endif // NavigatorPushManager_h