Index: third_party/WebKit/Source/core/fetch/Resource.h |
diff --git a/third_party/WebKit/Source/core/fetch/Resource.h b/third_party/WebKit/Source/core/fetch/Resource.h |
index 37a5c9f68a7584bba45e7ec5cb3b7a43f7b30e70..aec84ba44de05958086d75e063620b3e00c12ab3 100644 |
--- a/third_party/WebKit/Source/core/fetch/Resource.h |
+++ b/third_party/WebKit/Source/core/fetch/Resource.h |
@@ -107,6 +107,8 @@ public: |
void setLinkPreload(bool isLinkPreload) { m_linkPreload = isLinkPreload; } |
bool isLinkPreload() const { return m_linkPreload; } |
+ void setPreloadDiscoveryTime(double preloadDiscoveryTime) { m_preloadDiscoveryTime = preloadDiscoveryTime; } |
+ |
const ResourceError& resourceError() const { return m_error; } |
void setIdentifier(unsigned long identifier) { m_identifier = identifier; } |
@@ -337,6 +339,8 @@ private: |
unsigned m_preloadCount; |
+ double m_preloadDiscoveryTime; |
+ |
String m_cacheIdentifier; |
unsigned m_preloadResult : 2; // PreloadResult |