diff options
Diffstat (limited to 'WebKit/chromium/public/WebURLRequest.h')
-rw-r--r-- | WebKit/chromium/public/WebURLRequest.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/WebKit/chromium/public/WebURLRequest.h b/WebKit/chromium/public/WebURLRequest.h index 408aad7..b60d5be 100644 --- a/WebKit/chromium/public/WebURLRequest.h +++ b/WebKit/chromium/public/WebURLRequest.h @@ -69,7 +69,8 @@ public: TargetIsObject = 7, TargetIsMedia = 8, TargetIsWorker = 9, - TargetIsSharedWorker = 10 + TargetIsSharedWorker = 10, + TargetIsPrefetch = 11, }; ~WebURLRequest() { reset(); } @@ -129,6 +130,10 @@ public: WEBKIT_API bool reportUploadProgress() const; WEBKIT_API void setReportUploadProgress(bool); + // Controls whether load timing info is collected for the request. + WEBKIT_API bool reportLoadTiming() const; + WEBKIT_API void setReportLoadTiming(bool); + WEBKIT_API TargetType targetType() const; WEBKIT_API void setTargetType(TargetType); |