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 a987a549ac6b0415e7ea62405dbaca06792d5583..9880a4c93a225ae04c5f384282c3bec2b2a921f1 100644 |
--- a/third_party/WebKit/Source/core/dom/Document.h |
+++ b/third_party/WebKit/Source/core/dom/Document.h |
@@ -355,6 +355,11 @@ public: |
bool hidden() const; |
void didChangeVisibilityState(); |
+ // If the document is "prefetch only", it will not be fully contstructed, |
+ // and should never be displayed. Only a few resources will be loaded and |
+ // scanned, in order to warm up caches. |
+ bool isPrefetchOnly() const; |
+ |
Node* adoptNode(Node* source, ExceptionState&); |
HTMLCollection* images(); |