Index: third_party/WebKit/public/platform/Platform.h |
diff --git a/third_party/WebKit/public/platform/Platform.h b/third_party/WebKit/public/platform/Platform.h |
index 75eb0319463b12b0bdfe797063fcacc50879e0d5..72d594dd5c2cbc1a4c745801d59aeb957d5df169 100644 |
--- a/third_party/WebKit/public/platform/Platform.h |
+++ b/third_party/WebKit/public/platform/Platform.h |
@@ -31,6 +31,8 @@ |
#ifndef Platform_h |
#define Platform_h |
+#include <memory> |
+ |
#ifdef WIN32 |
#include <windows.h> |
#endif |
@@ -64,6 +66,7 @@ template<class T> class Local; |
namespace blink { |
+class PlatformMojoServices; |
class ServiceRegistry; |
class WebAudioBus; |
class WebBlobRegistry; |
@@ -526,6 +529,8 @@ public: |
virtual ServiceRegistry* serviceRegistry(); |
+ PlatformMojoServices* mojoServices(); |
+ |
// Platform events ----------------------------------------------------- |
// Device Orientation, Device Motion, Device Light, Battery, Gamepad. |
@@ -604,9 +609,10 @@ public: |
protected: |
Platform(); |
- virtual ~Platform() { } |
+ virtual ~Platform(); |
WebThread* m_mainThread; |
+ std::unique_ptr<PlatformMojoServices> m_mojoServices; |
}; |
} // namespace blink |