| Index: third_party/WebKit/Source/core/frame/RemoteDOMWindow.h
|
| diff --git a/third_party/WebKit/Source/core/frame/RemoteDOMWindow.h b/third_party/WebKit/Source/core/frame/RemoteDOMWindow.h
|
| index 7019b47fab0bf27cd10135be0623b2308f9e2c42..5212a918b40dd54ae98c11d2c91999578f89b0e9 100644
|
| --- a/third_party/WebKit/Source/core/frame/RemoteDOMWindow.h
|
| +++ b/third_party/WebKit/Source/core/frame/RemoteDOMWindow.h
|
| @@ -53,7 +53,6 @@ public:
|
| double devicePixelRatio() const override;
|
| ApplicationCache* applicationCache() const override;
|
| int orientation() const override;
|
| - Console* console() const override;
|
| DOMSelection* getSelection() override;
|
| void blur() override;
|
| void print() override;
|
|
|