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 ca83b52da6194914933d1b8c54978230bf8bc72e..abad1fb68f8fd4d654bcfe8bec26a05ecf22dff3 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 |