How to measure execution time of PHP script?

$time = microtime(true);

//Put your code here

$time = microtime(true) - $time;
echo 'Script executed in: ' . $time . ' sec';