PHP製作毫秒時間戳記的方法

PHP的time()函數產生目前時間的秒數，但是在一些情況下我們需要擷取當前伺服器時間和GMT(格林威治時間)1970年1月0時0分0秒的毫秒數，與Java中的currentTimeMilis()函數一樣，覺得以下的函數最合適，特記錄下來。

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