externs.js