回答編集履歴

  $time = microtime(true) - $time_start;

  echo $time . " seconds\r\n";