| 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;
|
|
|
|
|