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