| Index: third_party/WebKit/Source/devtools/protocol.json
|
| diff --git a/third_party/WebKit/Source/devtools/protocol.json b/third_party/WebKit/Source/devtools/protocol.json
|
| index 73f43574811b96e693875de0a1c1116d9ef94dcd..5baf9587bb0d3a488aaae0aa7cd57deb7a8f2e68 100644
|
| --- a/third_party/WebKit/Source/devtools/protocol.json
|
| +++ b/third_party/WebKit/Source/devtools/protocol.json
|
| @@ -1221,6 +1221,8 @@
|
| { "name": "workerReady", "type": "number", "description": "Finished Starting ServiceWorker.", "hidden": true },
|
| { "name": "sendStart", "type": "number", "description": "Started sending request." },
|
| { "name": "sendEnd", "type": "number", "description": "Finished sending request." },
|
| + { "name": "pushStart", "type": "number", "description": "Time the server started pushing request.", "hidden": true },
|
| + { "name": "pushEnd", "type": "number", "description": "Time the server finished pushing request.", "hidden": true },
|
| { "name": "receiveHeadersEnd", "type": "number", "description": "Finished receiving response headers." }
|
| ]
|
| },
|
|
|