Plumbing devtools agent host id and request id between processes

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 7fb5caaa559d0bef83972c9e09b96fbd054dddf3..5c712eed603eeb150bd0acec301caed320122338 100644
--- a/third_party/WebKit/public/platform/WebURLRequest.h
+++ b/third_party/WebKit/public/platform/WebURLRequest.h
@@ -347,6 +347,17 @@ class WebURLRequest {
   // in-between.
   BLINK_PLATFORM_EXPORT void SetIsSameDocumentNavigation(bool);
 
+  // The DevTools agent host id associated with the requesting page, if any.
+  BLINK_PLATFORM_EXPORT WebString DevToolsAgentHostId() const;
+
+  // The associated DevTools request id, if any.
+  BLINK_PLATFORM_EXPORT WebString DevToolsRequestId() const;
+
+  // The lets the content layer provide the internal id for this request, which
+  // is needed to generate consistent DevTools Request Ids from both browser and
+  // renderer.
+  BLINK_PLATFORM_EXPORT void SetBrowserGeneratedRequestId(unsigned);
+
 #if INSIDE_BLINK
   BLINK_PLATFORM_EXPORT ResourceRequest& ToMutableResourceRequest();
   BLINK_PLATFORM_EXPORT const ResourceRequest& ToResourceRequest() const;