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 591d09f1fe17fb93415c11f3e2243e4f4772cbc5..348c651d2b55e44ad29b748cada35eeedd291608 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;