Bonjour, j'ai besoin pour un script de récupérer le moment de création en millisecondes. J'utilise pour cela la fonction microtime.
Seulement, celle-ci me retourne quelque chose du genre :
0.3456783 100495098
Or moi je voudrai un affichage genre time() (mais donc en millisecondes) :
123456789 ms
Sur la doc php, http://fr.php.net/manual/fr/function.microtime.php, il y a un exemple :
Mais est ce que c'est exactement ce que je veux? Il n'y a pas d'explication sur ce qu iest retourné.
Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
3
4
5 function microtime_float() { list($usec, $sec) = explode(" ", microtime()); return ((float)$usec + (float)$sec); }
Merci de votre aide.
Partager