If I do:
echo microtime(true);
I get the following results:
- On my local Windows development environment I get a 4 digit precision (1310564569.4162 for example).
- On my live CentOS (Linux) server I get a 2 digit precision (1310564569.41 for example).
OK so depending on the platform your running you get different precisions? Or this is a PHP/OS configuration?
Also from the microtime PHP docs:
This function is only available on operating systems that support the gettimeofday() system call.
Which OSes (or conditions/configurations) don't support this?