if(typeof gulp.options.mangleProductionJSBundle !== "undefined"){
                mangleProductionJSBundle = gulp.options.mangleProductionJSBundle;

                if(mangleProductionJSBundle === false){
                    gutil.log("The production JS bundle will NOT be mangled!");