Index: Source/devtools/protocol.json |
diff --git a/Source/devtools/protocol.json b/Source/devtools/protocol.json |
index a2f82718262362dd64f2eb5bbbb85c94f076cc6c..b442e16faa3c5e25e9149935ee766ad63bd2299a 100644 |
--- a/Source/devtools/protocol.json |
+++ b/Source/devtools/protocol.json |
@@ -742,7 +742,8 @@ |
"properties": [ |
{ "name": "header", "type": "string"}, |
{ "name": "hasBody", "type": "boolean"}, |
- {"name": "formatterObjectId", "$ref": "RemoteObjectId"} |
+ {"name": "formatterObjectId", "$ref": "RemoteObjectId"}, |
+ {"name": "configObjectId", "$ref": "RemoteObjectId", "optional": true} |
] |
}, |
{ |