note 102566 added to function.microtime

After reading Jamie's note (http://us3.php.net/manual/en/function.microtime.php#101628) and confirming that this is indeed the behavior of the time and microtime functions, I have written an extension that provides full clock_gettime support in PHP. It is as fast as (actually usually slighty faster than, by a few percent, during my benchmarking) microtime and returns a double. Available here: http://github.com/adrianguenter/php_bettertime <?php $x = clock_gettime(CLOCK_MONOTONIC); ?> ---- Server IP: 192.41.42.26 Probable Submitter: 76.106.168.150 ---- Manual Page -- http://www.php.net/manual/en/function.microtime.php Edit -- https://master.php.net/note/edit/102566 Del: integrated -- https://master.php.net/note/delete/102566/integrated Del: useless -- https://master.php.net/note/delete/102566/useless Del: bad code -- https://master.php.net/note/delete/102566/bad+code Del: spam -- https://master.php.net/note/delete/102566/spam Del: non-english -- https://master.php.net/note/delete/102566/non-english Del: in docs -- https://master.php.net/note/delete/102566/in+docs Del: other reasons-- https://master.php.net/note/delete/102566 Reject -- https://master.php.net/note/reject/102566 Search -- https://master.php.net/manage/user-notes.php