PlzNavigate: identify same-page browser-initiated navigation.

third_party/WebKit/public/platform/WebURLRequest.h

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 navigation happened to be the
racy one? If not, then changing the URL means a different document, so let's be
more explicit. "if a different document was loaded in the frame in-between".

[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;