Index: Source/devtools/protocol.json |
diff --git a/Source/devtools/protocol.json b/Source/devtools/protocol.json |
index 9534cba0b1cae21f447a76fdf85831286c7f009d..2bb5501539c0a0987e68abb49d9239a8ea604b3d 100644 |
--- a/Source/devtools/protocol.json |
+++ b/Source/devtools/protocol.json |
@@ -1180,7 +1180,8 @@ |
{ "name": "url", "type": "string", "description": "Request URL." }, |
{ "name": "method", "type": "string", "description": "HTTP request method." }, |
{ "name": "headers", "$ref": "Headers", "description": "HTTP request headers." }, |
- { "name": "postData", "type": "string", "optional": true, "description": "HTTP POST request data." } |
+ { "name": "postData", "type": "string", "optional": true, "description": "HTTP POST request data." }, |
+ { "name": "mixedContentType", "optional": true, "type": "string", "enum": ["blockable", "optionally-blockable", "none"], "description": "The mixed content status of the request, as defined in http://www.w3.org/TR/mixed-content/" } |
] |
}, |
{ |