PHPの実行時間・処理時間を測定する方法

microtime関数を使うと簡単。忘れやすいのでメモ。

<?php
$time_start = microtime(true);

// 1秒待機する
sleep(1);

$time_end = microtime(true);
$time = $time_end - $time_start;

echo "実行時間:{$time}秒";
?>

入力したコードやはてな記法をそのまま表示する（スーパーpre記法）