How to get system time in PHP?

Question

I am trying to get this output:

2013072708410102

which is year/month/day/hour/minutes/seconds/milliseconds.

I tried this:

$getDate = date("Ymd");
$getTime = time();

echo $getDate . " " . $getTime;

I am getting this kind of output:

201307271374885743

The year/month/day is correct. But I dont think its giving me the time format that I wanted.

How can I have this format 2013072708410102 year/month/day/hour/minutes/seconds/milliseconds?

You can get your answer here: http://stackoverflow.com/questions/169428/php-datetime-microseconds-always-returns-0 — , Jul 27 '13 at 00:46
It's all in here as well: http://php.net/manual/en/function.microtime.php — Anders, Jul 27 '13 at 00:47

bwoebi · Accepted Answer · 2013-07-27T00:55:03.057

2

echo date("YmdHis").str_pad((int)((($time = microtime(1)) - (int)$time) * 1000), 3, "0", STR_PAD_LEFT);

gives: 20130727024937671 to me, what should what you expect.

date("YmdHis") gives the year/month/day/hour/minutes/seconds part.

str_pad((int)((($time = microtime(1)) - (int)$time) * 1000), 3, "0", STR_PAD_LEFT) is for the milliseconds.

edited Jul 27 '13 at 00:55

answered Jul 27 '13 at 00:49

bwoebi

I know, it's a bit ugly to get the milliseconds, but when there's a better way, please show it me :-) – bwoebi Jul 27 '13 at 01:02
QKWS, I am only curious, why are miliseconds so important ? Aren't you allowed to simply append three zeroes? – Stano Jul 27 '13 at 01:05
@Stano THIS is a good question… but you should ask that the OP, not me. – bwoebi Jul 27 '13 at 01:06
@Stano.. I need it as ID.. =) – QKWS Jul 27 '13 at 01:41
1

@QKWS There are probably better things to use for an id. Using milliseconds makes a collision less likely, but not impossible. – Jasper Jul 27 '13 at 01:44
1

`microtime();` is a better id, but if it should be a numeric id… don't know what else to use?! – bwoebi Jul 27 '13 at 01:50
1

My boss idea.Not mine =) – QKWS Jul 27 '13 at 02:06

1 Answers1