PHPで実行速度を計測する

<?php
$time_start = microtime(true);
 
// 何か重い処理
 
$time = microtime(true) - $time_start;
echo "{$time} 秒";