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 31e6fa093898b30380fa398822e1db26da368d18..d668de00398cbd453d35a265bc0b28e584d49fa8 100644 |
--- a/third_party/WebKit/Source/core/dom/Document.h |
+++ b/third_party/WebKit/Source/core/dom/Document.h |
@@ -381,6 +381,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(); |