Diferencia entre dos Tiempos TimeDiff en PHP

Para que sirve?
Resunen:

Sirve para cuando hacemos un reporte o informe calcular el tiempo que toma finalizar dicho reporte o operacion pesada

Codigo PHP
<?php



// return our current unix time in millis

function current_millis() {

list($usec, $sec) = explode(" ", microtime());

return round(((float)$usec + (float)$sec) * 1000);

}

$inicio = current_millis();







// Alguna operacion muy pesada que ocupa tiempo

for ($i=0;$i< 5;$i++){

echo "Algo que ocupa tiempo. <br>"; flush(); sleep(1);

}

// Fin de la operacion pesada











$t = (current_millis() - $inicio);

if ($t < 1000) {

echo "Reporte generado en :" . $t . " milisegundos...";

}else {

echo "Reporte generado en :" .number_format($t / 1000,2,',','.'). " segundos...";

}



?>