note 83626 added to function.microtime

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"; ?> ---- Server IP: 69.147.83.197 Probable Submitter: 68.106.195.213 ---- Manual Page -- http://www.php.net/manual/en/function.microtime.php Edit -- https://master.php.net/note/edit/83626 Del: integrated -- https://master.php.net/note/delete/83626/integrated Del: useless -- https://master.php.net/note/delete/83626/useless Del: bad code -- https://master.php.net/note/delete/83626/bad+code Del: spam -- https://master.php.net/note/delete/83626/spam Del: non-english -- https://master.php.net/note/delete/83626/non-english Del: in docs -- https://master.php.net/note/delete/83626/in+docs Del: other reasons-- https://master.php.net/note/delete/83626 Reject -- https://master.php.net/note/reject/83626 Search -- https://master.php.net/manage/user-notes.php