Codice PHP:
echo "<center>Tempo di esecuzione: ".round($differenza,3)." ms</center>"; 
La soluzione dovrebbe essere questa, già provata?