Index: third_party/WebKit/Source/core/dom/Document.h |
diff --git a/third_party/WebKit/Source/core/dom/Document.h b/third_party/WebKit/Source/core/dom/Document.h |
index dbf24300948695646d45183b83c1007d842adeab..897df89a1592c14d716fff00a1ae99b9d0ed5282 100644 |
--- a/third_party/WebKit/Source/core/dom/Document.h |
+++ b/third_party/WebKit/Source/core/dom/Document.h |
@@ -382,6 +382,8 @@ class CORE_EXPORT Document : public ContainerNode, |
// scanned, in order to warm up caches. |
bool isPrefetchOnly() const; |
+ void onPrefetchFinished() const; |
+ |
Node* adoptNode(Node* source, ExceptionState&); |
HTMLCollection* images(); |