2008-02-25 PHPで実行時間を測定する server 簡単なのだけど忘れやすいのでメモ。 [php] < ?php $time1 = microtime(); // なんらかの重い処理 $time2 = microtime(); echo $time2 - $time1; ?> [/php]