zhangjian
2023-06-05 3bc7faf3efd9d73cfa1726a553833872881dba3f
1
2
3
4
require('../modules/web.timers');
var path = require('../internals/path');
 
module.exports = path.setInterval;