/**
* 取当时的年月日时分秒毫秒:20140808121527000
*/
function get_timestamp() {
$datetime = date(“Y-m-d H:i:s”);
$datetime = preg_replace(‘/\s|:|-/’,”,$datetime);
$microtime = get_millisecond();
$timestamp = $datetime.$microtime;
return $timestamp;
}
function get_millisecond()
{
list($usec, $sec) = explode(” “, microtime());
$msec=round($usec*1000);
if(strlen($msec) == 2) {
$msec = ‘0’.$msec;
} else if(strlen($msec) == 1) {
$msec = ’00’.$msec;
} else if(strlen($msec) == 0){
$msec = ‘000’;
}
return $msec;
}