| 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 c58a4e491222d25c0643a790d77ce7e836e6c9af..dcc8bfd2d88693fcf025551239f19ac1bd26105b 100644
|
| --- a/third_party/WebKit/public/platform/WebURLRequest.h
|
| +++ b/third_party/WebKit/public/platform/WebURLRequest.h
|
| @@ -326,6 +326,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.
|
| + BLINK_PLATFORM_EXPORT void setIsSameDocumentNavigation(bool);
|
| +
|
| #if INSIDE_BLINK
|
| BLINK_PLATFORM_EXPORT ResourceRequest& toMutableResourceRequest();
|
| BLINK_PLATFORM_EXPORT const ResourceRequest& toResourceRequest() const;
|
|
|