<?php
// Partie à mettre au début de la page
function get_microtime(){
list($tps_usec, $tps_sec) = explode(" ",microtime());
return ((float)$tps_usec + (float)$tps_sec);
}
$tps_start = get_microtime();
// Partie à mettre à la fin de page
$tps_end = get_microtime();
$tps = $tps_end - $tps_start;
echo "<font size='1' face='arial'>Page générée en $tps secondes.</font>";
?>
|