Index: third_party/WebKit/Source/core/inspector/browser_protocol.json |
diff --git a/third_party/WebKit/Source/core/inspector/browser_protocol.json b/third_party/WebKit/Source/core/inspector/browser_protocol.json |
index 358504ae9c970712781a22411a33939d98f4093d..d3c667666755104a5da55d5ae0c439f0a085e2d3 100644 |
--- a/third_party/WebKit/Source/core/inspector/browser_protocol.json |
+++ b/third_party/WebKit/Source/core/inspector/browser_protocol.json |
@@ -812,12 +812,19 @@ |
}, |
{ |
"name": "setVirtualTimePolicy", |
- "description": "Turns on virtual time for all frames (replacing real-time with a synthetic time source) and sets the current virtual time policy.", |
+ "description": "Turns on virtual time for all frames (replacing real-time with a synthetic time source) and sets the current virtual time policy. Note this supersedes any previous time budget.", |
"parameters": [ |
- { "name": "policy", "$ref": "VirtualTimePolicy" } |
+ { "name": "policy", "$ref": "VirtualTimePolicy" }, |
+ { "name": "budget", "type": "integer", "optional": true, "description": "If set, after this many virtual milliseconds have elapsed virtual time will be paused and a virtualTimeBudgetExpired event is sent." } |
], |
"hidden": true |
} |
+ ], |
+ "events": [ |
+ { |
+ "name": "virtualTimeBudgetExpired", |
+ "description": "Notification sent after the virual time budget for the current VirtualTimePolicy has run out." |
+ } |
] |
}, |
{ |