Index: third_party/WebKit/Source/core/page/Page.h |
diff --git a/third_party/WebKit/Source/core/page/Page.h b/third_party/WebKit/Source/core/page/Page.h |
index b573b39a76a758422c0fe25478b3400c0d2e7005..f65eb43f877c1402322627ed06cefd6070889294 100644 |
--- a/third_party/WebKit/Source/core/page/Page.h |
+++ b/third_party/WebKit/Source/core/page/Page.h |
@@ -123,6 +123,8 @@ public: |
ViewportDescription viewportDescription() const; |
+ static uintptr_t screenId(Page* page) { return reinterpret_cast<uintptr_t>(page); } |
+ |
static void refreshPlugins(); |
PluginData* pluginData() const; |