Comment créer un horodatage en millisecondes en PHP

La fonction time() de PHP génère les secondes de l'heure actuelle, mais dans certains cas, nous devons obtenir l'heure actuelle du serveur et les millisecondes de GMT (Greenwich Mean Time) de janvier 1970 à 0:00:00, avec la même comme la fonction currentTimeMilis() en Java, je pense que la fonction suivante est la plus appropriée, je l'ai donc enregistrée.

　　public function getCurrentMilis() {
　　　　$mill_time = microtime();　　　　
　　　　$timeInfo = explode(' ', $mill_time);　　　　
　　　　$milis_time = sprintf('%d%03d',$timeInfo[1],$timeInfo[0] * 1000);
　　　　return $time;
　　}

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!