Globals loaded by ``brackets.js``