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