- <?php
-
- /* 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;
- }
- /*
- au début de la page, il faut écrire ceci :
- $debut = debut_calcultemps();
-
- et à la fin, ceci :
- echo ecrire_temps($debut, "4"); où "4" est la précision du temps donné
- */
-
- ?>
<?php
/* 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;
}
/*
au début de la page, il faut écrire ceci :
$debut = debut_calcultemps();
et à la fin, ceci :
echo ecrire_temps($debut, "4"); où "4" est la précision du temps donné
*/
?>