16 ms·

PHP: <? $lines=file($argv[1]); sort($lines); file_put_contents($argv[2],implode("\n",$lines));