JSLinter externs