| Index: third_party/WebKit/public/platform/WebPrerenderingSupport.h | 
| diff --git a/third_party/WebKit/public/platform/WebPrerenderingSupport.h b/third_party/WebKit/public/platform/WebPrerenderingSupport.h | 
| index d1c553353050b0033feb042b2211de44f023ff7d..5d51c50be56070e0765a300df79439924beb0ba7 100644 | 
| --- a/third_party/WebKit/public/platform/WebPrerenderingSupport.h | 
| +++ b/third_party/WebKit/public/platform/WebPrerenderingSupport.h | 
| @@ -54,6 +54,10 @@ public: | 
| // wanted, and we may end up using it after, for instance, a short redirect chain. | 
| virtual void abandon(const WebPrerender&) = 0; | 
|  | 
| +    // The renderer is shutting down, the prerendering layer is not allowed to | 
| +    // access Blink objects after this notification. | 
| +    virtual void detachRenderer() = 0; | 
| + | 
| protected: | 
| WebPrerenderingSupport() { } | 
| virtual ~WebPrerenderingSupport() { } | 
|  |