Roll back whitespace change in ExtLoader.js