bump protocol

devtools-bot · devtools-bot · commit 4a3eee0540c6 · 2017-07-07T12:15:23.000-07:00
diff --git a/_data/tot/protocol.json b/_data/tot/protocol.json
@@ -3493,7 +3493,7 @@
                     "experimental": true
                 },
                 {
-                    "name": "enableRequestInterception",
+                    "name": "setRequestInterceptionEnabled",
                     "parameters": [
                         {
                             "name": "enabled",
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:   Thu Jul 6 13:15:20 2017 -0700
+<code browser>Date:   Fri Jul 7 12:15:19 2017 -0700
 </code>
 
 <h5 js>Latest <a
diff --git a/search_index/tot.json b/search_index/tot.json

Original file line number	Diff line number	Diff line change
`@@ -3493,7 +3493,7 @@`
`3493`	`3493`	`"experimental": true`
`3494`	`3494`	`},`
`3495`	`3495`	`{`
`3496`		`- "name": "enableRequestInterception",`
	`3496`	`+ "name": "setRequestInterceptionEnabled",`
`3497`	`3497`	`"parameters": [`
`3498`	`3498`	`{`
`3499`	`3499`	`"name": "enabled",`