Index: content/browser/devtools/browser_protocol.json |
diff --git a/content/browser/devtools/browser_protocol.json b/content/browser/devtools/browser_protocol.json |
index f4b67407d2e899426dce89bf1209d389a8d22889..566887bcb6d4615fb152ccc17fa73f4b327a1cf5 100644 |
--- a/content/browser/devtools/browser_protocol.json |
+++ b/content/browser/devtools/browser_protocol.json |
@@ -57,7 +57,7 @@ |
"name": "bind", |
"description": "Request browser port binding.", |
"parameters": [ |
- { "name": "port", "type": "number", "description": "Port number to bind." } |
+ { "name": "port", "type": "integer", "description": "Port number to bind." } |
], |
"handlers": ["browser"] |
}, |
@@ -65,7 +65,7 @@ |
"name": "unbind", |
"description": "Request browser port unbinding.", |
"parameters": [ |
- { "name": "port", "type": "number", "description": "Port number to unbind." } |
+ { "name": "port", "type": "integer", "description": "Port number to unbind." } |
], |
"handlers": ["browser"] |
} |