note 15252 added to function.microtime

we found out, that if you print the result of microtime in a cycle you will see that when the microseconds - part changes from 0.999999 to 0.000000 the seconds - part does not change. really amazing, but true if you want to check this out try this little script: $begin = time(); do{ echo microtime(); echo "<br>"; } while (($begin + 2) > time()); we used gettimeofday and the source worked http://www.php.net/manual/en/function.microtime.php