linwenling
2023-05-16 64bd3e7c7ee91e5249d2b03f58700277c328f11d
1
2
require('../modules/web.timers');
module.exports = require('../modules/_core').setTimeout;