4 { "name": "double", "mode": "SCALAR" },
5 { "name": "uint64_t", "mode": "SCALAR" }
12 "name": "GetCurrentTime",
13 "description": "Supplies the system time to Date.now() and new Date().",
14 "queue": "SCRIPT_MEMOIZED",
15 "guard": "ENABLE(DUMMY_FEATURE)",
17 { "name": "currentTime", "type": "double" }
21 "name": "SetRandomSeed",
22 "description": "Sets the PRNG seed used by Math.random().",
23 "queue": "SCRIPT_MEMOIZED",
25 {"name": "randomSeed", "type": "uint64_t" }