Adds enableVirtualTime and setVirtualTimePolicy To Emulation domain.

third_party/WebKit/Source/core/inspector/browser_protocol.json

 {
     "version": { "major": "1", "minor": "1" },
     "domains": [{
         "domain": "Inspector",
         "hidden": true,
         "types": [],
         "commands": [
             {
                 "name": "enable",
                 "description": "Enables inspector domain notifications.",
@@ skipping 652 matching lines @@
         "hidden": true,
         "types": [
             {
                 "id": "ScreenOrientation",
                 "type": "object",
                 "description": "Screen orientation.",
                 "properties": [
                     { "name": "type",  "type": "string", "enum": ["portraitPrimary", "portraitSecondary", "landscapePrimary", "landscapeSecondary"], "description": "Orientation type." },
                     { "name": "angle",  "type": "integer", "description": "Orientation angle." }
                 ]
+            },
+            {
+                "id": "VirtualTimePolicy",
+                "type": "string",
+                "enum": [
+                    "advance",
+                    "pause",
+                    "pauseIfNetworkFetchesPending"
+                ],
+                "description": "For a description of the virtual time policies see: https://docs.google.com/document/d/1y9KDT_ZEzT7pBeY6uzVt1dgKlwc1OB_vY4NZO1zBQmo"
             }
         ],
         "commands": [
             {
                 "name": "setDeviceMetricsOverride",
                 "description": "Overrides the values of device screen dimensions (window.screen.width, window.screen.height, window.innerWidth, window.innerHeight, and \"device-width\"/\"device-height\"-related CSS media query results).",
                 "parameters": [
                     { "name": "width", "type": "integer", "description": "Overriding width value in pixels (minimum 0, maximum 10000000). 0 disables the override." },
                     { "name": "height", "type": "integer", "description": "Overriding height value in pixels (minimum 0, maximum 10000000). 0 disables the override." },
                     { "name": "deviceScaleFactor", "type": "number", "description": "Overriding device scale factor value. 0 disables the override." },
@@ skipping 71 matching lines @@
                 ],
                 "description": "Enables CPU throttling to emulate slow CPUs."
             },
             {
                 "name": "canEmulate",
                 "description": "Tells whether emulation is supported.",
                 "returns": [
                     { "name": "result", "type": "boolean", "description": "True if emulation is supported." }
                 ],
                 "handlers": ["browser"]
+            },
+            {
+                "name": "enableVirtualTime",

[pfeldman, 2016/07/01 15:14:13]

this should either be setVirtualTimeEnabled(bool) or should not exist at all and
policy should have an additional "disabled" value. Sorry, only looked at this
file.

[alex clarke (OOO till 29th), 2016/07/01 15:53:23]

I know where you're coming from but I'm not sure it makes sense to disable
virtual time. The virtual time base may get far ahead of real time which means
posted timers could get "stranded in the future".

+                "description": "Turns on virtual time for all frames, replacing real-time with a synthetic time source.",
+                "hidden": true
+            },
+            {
+                "name": "setVirtualTimePolicy",
+                "description": "Sets the current virtual time policy for all frames.",
+                "parameters": [
+                    { "name": "policy", "$ref": "VirtualTimePolicy" }
+                ],
+                "hidden": true
             }
         ]
     },
     {
         "domain": "Console",
         "description": "Console domain defines methods and events for interaction with the JavaScript console. Console collects messages created by means of the <a href='http://getfirebug.com/wiki/index.php/Console_API'>JavaScript Console API</a>. One needs to enable this domain using <code>enable</code> command in order to start receiving the console messages. Browser collects messages issued while console domain is not enabled as well and reports them using <code>messageAdded</code> notification upon enabling.",
         "dependencies": ["Runtime"],
         "types": [
             {
                 "id": "Timestamp",
@@ skipping 3517 matching lines @@
                 "description": "Dispatches protocol message from the target with given id.",
                 "parameters": [
                     { "name": "targetId", "$ref": "TargetID" },
                     { "name": "message", "type": "string" }
                 ],
                 "handlers": ["browser"]
             }
         ]
     }]
 }