src/third_party/devtools/node_modules/core-js/stable/set-timeout.js

require('../modules/web.timers');

module.exports = require('../internals/path').setTimeout;