note 109826 added to function.microtime

Observed in php 5.3.3 on CentOS 6 and php 5.3.14 on Amazon Linux 2012.03: microtime()'s string value is in the format "0.dddddd00 ddddd...". That is, there's room for 10-ns precision that isn't being used, and the "msec" value is in decimal, not a literal number of microseconds (and *especially* not milliseconds, which is what msec usually stands for) as the documentation might imply. ---- Server IP: 192.41.42.26 Probable Submitter: 64.66.125.222 ---- Manual Page -- http://www.php.net/manual/en/function.microtime.php Edit -- https://master.php.net/note/edit/109826 Del: integrated -- https://master.php.net/note/delete/109826/integrated Del: useless -- https://master.php.net/note/delete/109826/useless Del: bad code -- https://master.php.net/note/delete/109826/bad+code Del: spam -- https://master.php.net/note/delete/109826/spam Del: non-english -- https://master.php.net/note/delete/109826/non-english Del: in docs -- https://master.php.net/note/delete/109826/in+docs Del: other reasons-- https://master.php.net/note/delete/109826 Reject -- https://master.php.net/note/reject/109826 Search -- https://master.php.net/manage/user-notes.php