note 83626 deleted from function.microtime by tularis
| From: | tularis@php.net | Date: | Sun, 22 Jun 2008 12:00:52 +0000 |
| Subject: | note 83626 deleted from function.microtime by tularis | ||
| References: | 1 | Groups: | php.notes |
| Request: | Send a blank email to php-notes+get-140653@lists.php.net to get a copy of this message | ||
Note Submitter: chris [at] dubcube.com
----
this achieves moar of the desired effect i was seeking (i wanted decimal zeros, among other control
factors).
<?php
$time = date('YmdHis') + microtime(); //simple, no decimal control.
/*alternatively, if decimal adjustment desired needed:
$time = round(date('YmdHis') + microtime(), 3); //decimal control
*/
//print "$time </br>";
$strip = number_format ($time,2,'',''); // first '' is decimal
indicator, second '' is thousandths sep/indicator (one char limit here).
print "$strip";
?>