PHPで実行時間を測定する

簡単なのだけど忘れやすいのでメモ。 [php] < ?php

$time1 = microtime();

// なんらかの重い処理

$time2 = microtime();

echo $time2 - $time1;

?> [/php]