bump protocol

Author: devtools-bot

_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:   Wed Jul 12 18:55:05 2017 -0700
+<code browser>Date:   Thu Jul 13 18:15:23 2017 -0700
 </code>
 
 <h5 js>Latest <a