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