我正在尝试获得以下输出：
2013072708410102
其是年/月/天/小时/分钟/秒/毫秒。
我试过这个：
$getDate = date("Ymd");
$getTime = time();
echo $getDate . " " . $getTime;
我得到了这样的输出：
201307271374885743
年/月/日是正确的。但我不认为它给了我想要的时间格式。
我怎么能有这种格式2013072308410102年/月/日/小时/分/秒/毫秒？
echo date("YmdHis").str_pad((int)((($time = microtime(1)) - (int)$time) * 1000), 3, "0", STR_PAD_LEFT);
给我：20130727024937671，你应该期待什么。
date("YmdHis")给出年/月/日/小时/分/秒部分。
str_pad((int)((($time = microtime(1)) - (int)$time) * 1000), 3, "0", STR_PAD_LEFT)表示毫秒。