1 2 3 4 5
<?php $BENCHMARK_RESULTS = substr($argv[1], strrpos($argv[1], "Apache Build Time:") + 18); echo trim(substr($BENCHMARK_RESULTS, 0, strpos($BENCHMARK_RESULTS, "Seconds"))); ?>