Index: third_party/WebKit/public/platform/WebURLRequest.h |
diff --git a/third_party/WebKit/public/platform/WebURLRequest.h b/third_party/WebKit/public/platform/WebURLRequest.h |
index 57c31b622d5c11801b38f8008f5f63f716e66883..c07299c936a764ee37463ae7dfad638b1cde766e 100644 |
--- a/third_party/WebKit/public/platform/WebURLRequest.h |
+++ b/third_party/WebKit/public/platform/WebURLRequest.h |
@@ -335,6 +335,11 @@ class WebURLRequest { |
BLINK_PLATFORM_EXPORT void setNavigationStartTime(double); |
+ // PlzNavigate: specify that the request was intended to be loaded as a same |
+ // document navigation. No network requests should be made and the request |
+ // should be dropped if the page's URL has changed in-between. |
nasko
2017/01/23 19:10:13
Would we drop the navigation if another same page
arthursonzogni
2017/01/24 15:17:05
You are right. Done.
|
+ BLINK_PLATFORM_EXPORT void setIsSameDocumentNavigation(bool); |
+ |
#if INSIDE_BLINK |
BLINK_PLATFORM_EXPORT ResourceRequest& toMutableResourceRequest(); |
BLINK_PLATFORM_EXPORT const ResourceRequest& toResourceRequest() const; |