| 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"]
|
| }
|
|
|