function get_millisecond() { list($usec, $sec) = explode(" ", microtime()); $msec=round($usec*1000); return $msec; }
/** * @return string 17位时间戳 */ public function time_17(){ $millisecond = get_millisecond(); $millisecond = str_pad($millisecond,3,'0',STR_PAD_RIGHT); return strval(date("YmdHis").$millisecond); }