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

third_party/WebKit/public/platform/WebPrerenderingSupport.h

 /*
  * Copyright (C) 2012 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 37 matching lines @@
 
   // A prerender is canceled when it is removed from a document.
   virtual void cancel(const WebPrerender&) = 0;
 
   // A prerender is abandoned when it's navigated away from or suspended in the
   // page cache. This is a weaker signal than cancel(), since the launcher
   // hasn't indicated that the prerender isn't wanted, and we may end up using
   // 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() {}
 
  private:
   static WebPrerenderingSupport* s_platform;
 };
 
 }  // namespace blink
 
 #endif  // WebPrerenderingSupport_h