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 9462985bd02508bb069da640602f62f6b51c085c..f3876f6293ab613bea5ac1c64dd53d8ff6383e85 100644 |
--- a/third_party/WebKit/Source/devtools/protocol.json |
+++ b/third_party/WebKit/Source/devtools/protocol.json |
@@ -1224,6 +1224,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." } |
] |
}, |