| Index: Source/devtools/protocol.json
|
| diff --git a/Source/devtools/protocol.json b/Source/devtools/protocol.json
|
| index fc05380cd4247fc12c9743a45ef40ef46293c9dd..497c699ea6e89356fed096e5cce31304dcb401ce 100644
|
| --- a/Source/devtools/protocol.json
|
| +++ b/Source/devtools/protocol.json
|
| @@ -752,7 +752,8 @@
|
| "hidden": true,
|
| "properties": [
|
| { "name": "header", "type": "string"},
|
| - { "name": "hasBody", "type": "boolean"}
|
| + { "name": "hasBody", "type": "boolean"},
|
| + {"name": "formatterObjectId", "$ref": "RemoteObjectId"}
|
| ]
|
| },
|
| {
|
|
|