php取当时的年月日时分秒毫秒

/**
 * 取当时的年月日时分秒毫秒: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;  
}