| Index: Source/devtools/protocol.json
|
| diff --git a/Source/devtools/protocol.json b/Source/devtools/protocol.json
|
| index 58ed28f4e731d663a37b670a7eb9aabfd9483f2d..388d152b2da4ba478514fc3b04b2d743f0bce68a 100644
|
| --- a/Source/devtools/protocol.json
|
| +++ b/Source/devtools/protocol.json
|
| @@ -1252,6 +1252,7 @@
|
| "parameters": [
|
| { "name": "requestId", "$ref": "RequestId", "description": "Request identifier." },
|
| { "name": "timestamp", "$ref": "Timestamp", "description": "Timestamp." },
|
| + { "name": "type", "$ref": "Page.ResourceType", "description": "Resource type." },
|
| { "name": "errorText", "type": "string", "description": "User friendly error message." },
|
| { "name": "canceled", "type": "boolean", "optional": true, "description": "True if loading was canceled." }
|
| ]
|
|
|