note 49674 added to function.time

get the decimal seconds from a current time <?php $micro = explode(' ', microtime()); echo substr(number_format($micro[0],1,'',''),-1)."<br>"; echo date("s"); ?> ---- Manual Page -- http://www.php.net/manual/en/function.time.php Edit -- http://master.php.net/manage/user-notes.php?action=edit+49674 Delete: added to the manual -- http://master.php.net/manage/user-notes.php?action=delete+49674&report=yes&reason=added+to+the+manual Delete: bad code -- http://master.php.net/manage/user-notes.php?action=delete+49674&report=yes&reason=bad+code Delete: spam -- http://master.php.net/manage/user-notes.php?action=delete+49674&report=yes&reason=spam Delete: useless -- http://master.php.net/manage/user-notes.php?action=delete+49674&report=yes&reason=useless Delete: other reasons -- http://master.php.net/manage/user-notes.php?action=delete+49674&report=yes Reject -- http://master.php.net/manage/user-notes.php?action=reject+49674&report=yes Search -- http://master.php.net/manage/user-notes.php