bump protocol

devtools-bot · devtools-bot · commit fb630b555748 · 2017-06-14T02:15:20.000-07:00
diff --git a/_data/tot/protocol.json b/_data/tot/protocol.json
@@ -3843,7 +3843,7 @@
                     "description": "Details of an intercepted HTTP request, which must be either allowed, blocked, modified or mocked.",
                     "parameters": [
                         {
-                            "name": "InterceptionId",
+                            "name": "interceptionId",
                             "$ref": "InterceptionId",
                             "description": "Each request the page makes will have a unique id, however if any redirects are encountered while processing that fetch, they will be reported with the same id as the original fetch."
                         },
diff --git a/_versions/tot.html b/_versions/tot.html
@@ -8,7 +8,7 @@ <h2 class="heading">latest (tip-of-tree)</h2>
 
 <h5 browser>Latest <a
    href="https://chromium.googlesource.com/chromium/src/+log/master/third_party/WebKit/Source/core/inspector/browser_protocol.json">browser_protocol.json</a> version updated:</h5>
-<code browser>Date:   Tue Jun 13 16:15:25 2017 -0700
+<code browser>Date:   Wed Jun 14 02:15:15 2017 -0700
 </code>
 
 <h5 js>Latest <a

Original file line number	Diff line number	Diff line change
`@@ -3843,7 +3843,7 @@`
`3843`	`3843`	`"description": "Details of an intercepted HTTP request, which must be either allowed, blocked, modified or mocked.",`
`3844`	`3844`	`"parameters": [`
`3845`	`3845`	`{`
`3846`		`- "name": "InterceptionId",`
	`3846`	`+ "name": "interceptionId",`
`3847`	`3847`	`"$ref": "InterceptionId",`
`3848`	`3848`	`"description": "Each request the page makes will have a unique id, however if any redirects are encountered while processing that fetch, they will be reported with the same id as the original fetch."`
`3849`	`3849`	`},`