Minified platform.js file (using uglify2)