squeeze($in); if ($out) { printf("+ minify from %s to %s: %2d%% of %6d\n", basename($_SERVER['argv'][1]), basename($_SERVER['argv'][2]), round(strlen($out)*100/strlen($in)), strlen($in)); file_put_contents($_SERVER['argv'][2], $out); } else { exit(2); }