bump protocol

Author: devtools-bot

_data/tot/protocol.json

@@ -8833,13 +8833,13 @@
                         },
                         {
                             "name": "x",
-                            "type": "integer",
-                            "description": "X coordinate of the event relative to the main frame's viewport."
+                            "type": "number",
+                            "description": "X coordinate of the event relative to the main frame's viewport in CSS pixels."
                         },
                         {
                             "name": "y",
-                            "type": "integer",
-                            "description": "Y coordinate of the event relative to the main frame's viewport. 0 refers to the top of the viewport and Y increases as it proceeds towards the bottom of the viewport."
+                            "type": "number",
+                            "description": "Y coordinate of the event relative to the main frame's viewport in CSS pixels. 0 refers to the top of the viewport and Y increases as it proceeds towards the bottom of the viewport."
                         },
                         {
                             "name": "modifiers",
@@ -8984,12 +8984,12 @@
                     "parameters": [
                         {
                             "name": "x",
-                            "type": "integer",
+                            "type": "number",
                             "description": "X coordinate of the start of the gesture in CSS pixels."
                         },
                         {
                             "name": "y",
-                            "type": "integer",
+                            "type": "number",
                             "description": "Y coordinate of the start of the gesture in CSS pixels."
                         },
                         {
@@ -9018,35 +9018,35 @@
                     "parameters": [
                         {
                             "name": "x",
-                            "type": "integer",
+                            "type": "number",
                             "description": "X coordinate of the start of the gesture in CSS pixels."
                         },
                         {
                             "name": "y",
-                            "type": "integer",
+                            "type": "number",
                             "description": "Y coordinate of the start of the gesture in CSS pixels."
                         },
                         {
                             "name": "xDistance",
-                            "type": "integer",
+                            "type": "number",
                             "optional": true,
                             "description": "The distance to scroll along the X axis (positive to scroll left)."
                         },
                         {
                             "name": "yDistance",
-                            "type": "integer",
+                            "type": "number",
                             "optional": true,
                             "description": "The distance to scroll along the Y axis (positive to scroll up)."
                         },
                         {
                             "name": "xOverscroll",
-                            "type": "integer",
+                            "type": "number",
                             "optional": true,
                             "description": "The number of additional pixels to scroll back along the X axis, in addition to the given distance."
                         },
                         {
                             "name": "yOverscroll",
-                            "type": "integer",
+                            "type": "number",
                             "optional": true,
                             "description": "The number of additional pixels to scroll back along the Y axis, in addition to the given distance."
                         },
@@ -9095,12 +9095,12 @@
                     "parameters": [
                         {
                             "name": "x",
-                            "type": "integer",
+                            "type": "number",
                             "description": "X coordinate of the start of the gesture in CSS pixels."
                         },
                         {
                             "name": "y",
-                            "type": "integer",
+                            "type": "number",
                             "description": "Y coordinate of the start of the gesture in CSS pixels."
                         },
                         {

_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 07:15:22 2017 -0700
+<code browser>Date:   Wed Jul 12 17:15:26 2017 -0700
 </code>
 
 <h5 js>Latest <a