1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
<?php
/********** Version 2.1 **********/
/* Doit ABSOLUMENT être placé au tout début de la page
$df : Si $df=0, c'est le début de la page, si $df=1 c'est la fin de la page/
$maxlen : Pour choisir la longueur maximale de la chaîne/
$maxs : Si le temps est inférieur à $maxs, on le convertit en millisecondes,
mettre -1 pour ne jamais le convertir */
function get_microtime($df,$maxlen=30,$maxs=0.001)
{
if($df==0) $timing_start=explode(' ', microtime());
else
{
$timing_stop=explode(' ', microtime());
if($maxlen>30) $maxlen='30';
$tps[0]=$timing_stop[0]+$timing_stop[1];
$tps[1]=$timing_start[0]+$timing_start[1];
$rendertime=number_format((($tps[0])-($tps[1])),$maxlen);
/* Supression des zeros inutiles */
$maxlen++;
for($i=$maxlen;substr($rendertime,$i,1)=="0";$i--)
{
$rendertime = substr($rendertime,0,$i);
}
/* Evite les erreurs */
if($rendertime=='0.' or strstr($rendertime,','))
{
$rendertime='';
for($i=0;$i<$maxlen;$i++)
{
if($i==1) $rendertime.='.';
else if($i==($maxlen-1)) $rendertime.='1';
else $rendertime.='0';
}
}
/* S éventuel */
if($rendertime<'2') $s='seconde';
else $s = 'secondes';
/* Conversion éventuelle en milliseconde */
if($maxs!=-1 and $rendertime<=$maxs)
{
$rendertime=$rendertime*1000;
$s='ms';
}
$rendertime=$rendertime.' '.$s;
return $rendertime;
}
}
?>
<?php
/* Exemple */
/* Doit ABSOLUMENT être placé au tout début de la page */
get_microtime(0);
?>
Votre code ici.<br />
<?
/* Doit ABSOLUMENT être placé à la fin de la page */
$rendertime=get_microtime(1,30,0.001);
echo $rendertime;
?>
|
Informations rapides
