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 27b3abccbfbe3be3fbc719332954f5c312def3a9..6e4e02e5fa044bdc889f8ae96265d1b7c9423249 100644 |
--- a/third_party/WebKit/Source/core/page/Page.h |
+++ b/third_party/WebKit/Source/core/page/Page.h |
@@ -112,6 +112,8 @@ public: |
ViewportDescription viewportDescription() const; |
+ static uintptr_t screenId(Page* page) { return reinterpret_cast<uintptr_t>(page); } |
+ |
static void refreshPlugins(); |
PluginData* pluginData() const; |