6 lines
177 B
PHP
6 lines
177 B
PHP
<?php
|
|
|
|
$BENCHMARK_RESULTS = substr($argv[1], strrpos($argv[1], "MPlayer Build Time:") + 19);
|
|
echo trim(substr($BENCHMARK_RESULTS, 0, strpos($BENCHMARK_RESULTS, "Seconds")));
|
|
?>
|