calculer_temps_realisation_script.php

 
<?
$debut = debut_calcultemps();
/* FONCTIONS PERMETTANT DE CALCULER LE TEMPS D'EXÉCUTION D'UNE PAGE */
function debut_calcultemps() {
$trouver_temps = explode(' ',microtime() );
$temps_debut = $trouver_temps[1].substr($trouver_temps[0], 1);
return $temps_debut;
}

function ecrire_temps($temps_debut,$precision) {
$partie_temps = explode(' ',microtime() );
$fin_temps = $partie_temps[1].substr($partie_temps[0],1);
$chrono = number_format($fin_temps - $temps_debut, 4);
if($precision > strlen($chrono)) {                      //si la precision demandée est plus grande que la longueur de la chaine
$chrono = substr($chrono, 0, strlen($chrono));          //on donne la precision maximale
} else {
$chrono = substr($chrono, 0, $precision);
}
return $chrono;
}

echo "<!-- temps calcul: " .ecrire_temps($debut, "4") ." sec";
?>