Patched up External.js with jsHint, also minified it!