Script time evaluation in PHP

Piccolo promemoria del codice per valutare il tempo di esecuzione di uno script:

Registro l'inizio
$time_start = microtime(true);

Eseguo lo script script
...

Registro la fine
$time_end = microtime(true);

Calcolo la durata
$execution_time = ($time_end - $time_start);          

La stampo
echo 'Total Execution Time: '.$execution_time.' Secs'; //execution time of the cicle in seconds