| 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}
|
| ]
|
| },
|
| {
|
|
|