Revert "Revert of [NoStatePrefetch] Kill renderer after preload scanning (patchset #12 id:240001 of…

third_party/WebKit/public/platform/WebPrerenderingSupport.h

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 632ebf70efc570d16acf002f75bca0213984ff71..d25eaf02bbd0371d2f52026a35cb857f5d7ed720 100644
--- a/third_party/WebKit/public/platform/WebPrerenderingSupport.h
+++ b/third_party/WebKit/public/platform/WebPrerenderingSupport.h
@@ -55,6 +55,11 @@ class WebPrerenderingSupport {
   // it after, for instance, a short redirect chain.
   virtual void abandon(const WebPrerender&) = 0;
 
+  // Called when the current page has finished requesting early discoverable
+  // resources for prefetch. In prefetch mode link elements do not initiate any
+  // prerenders.
+  virtual void prefetchFinished() = 0;
+
  protected:
   WebPrerenderingSupport() {}
   virtual ~WebPrerenderingSupport() {}