note 127316 added to function.microtime

<?php //getting the date with milliseconds using microtime() $mkdate = substr(explode(" ",microtime(),2)[0],2,3); echo (date("Ymd:His:").$mkdate); ?> ---- Server IP: 45.112.84.4 Probable Submitter: 80.90.5.135 (proxied: 155.190.46.18) ---- Manual Page -- https://php.net/manual/en/function.microtime.php Edit -- https://main.php.net/note/edit/127316 Del: integrated -- https://main.php.net/note/delete/127316/integrated Del: useless -- https://main.php.net/note/delete/127316/useless Del: bad code -- https://main.php.net/note/delete/127316/bad+code Del: spam -- https://main.php.net/note/delete/127316/spam Del: non-english -- https://main.php.net/note/delete/127316/non-english Del: in docs -- https://main.php.net/note/delete/127316/in+docs Del: other reasons-- https://main.php.net/note/delete/127316 Reject -- https://main.php.net/note/reject/127316 Search -- https://main.php.net/manage/user-notes.php