Index: third_party/WebKit/Source/platform/network/ResourceRequest.h |
diff --git a/third_party/WebKit/Source/platform/network/ResourceRequest.h b/third_party/WebKit/Source/platform/network/ResourceRequest.h |
index 0bdb49a51c2f4e423398b2899ae84b2b9b300a19..68677c1da4acc93370911369d198d50039257c42 100644 |
--- a/third_party/WebKit/Source/platform/network/ResourceRequest.h |
+++ b/third_party/WebKit/Source/platform/network/ResourceRequest.h |
@@ -310,6 +310,11 @@ class PLATFORM_EXPORT ResourceRequest final { |
void setNavigationStartTime(double); |
double navigationStartTime() const { return m_navigationStart; } |
+ void setIsSameDocumentNavigation(bool isSameDocument) { |
+ m_isSameDocumentNavigation = isSameDocument; |
+ } |
+ bool isSameDocumentNavigation() const { return m_isSameDocumentNavigation; } |
+ |
private: |
const CacheControlHeader& cacheControlHeader() const; |
@@ -350,6 +355,7 @@ class PLATFORM_EXPORT ResourceRequest final { |
bool m_checkForBrowserSideNavigation; |
double m_uiStartTime; |
bool m_isExternalRequest; |
+ bool m_isSameDocumentNavigation; |
InputToLoadPerfMetricReportPolicy m_inputPerfMetricReportPolicy; |
mutable CacheControlHeader m_cacheControlHeaderCache; |