note 130322 added to function.microtime

Sometimes you need to get not seconds but milliseconds since the UNIX epoch: function millis() : int { [$milli, $seconds] = explode(' ', microtime()); // from string(21) "0.67932100 1748377570" return intval($seconds) * 1000 // intval(0.67932100 * 1000) is 679 + intval(doubleval($milli) * 1000); // 679 + (1748377570 * 1000) = full milliseconds (1000 ms per one s) } ---- Server IP: 45.112.84.4 Probable Submitter: 80.90.5.137 (proxied: 213.87.151.43) ---- Manual Page -- https://php.net/manual/en/function.microtime.php Edit -- https://main.php.net/note/edit/130322 Del: integrated -- https://main.php.net/note/delete/130322/integrated Del: useless -- https://main.php.net/note/delete/130322/useless Del: bad code -- https://main.php.net/note/delete/130322/bad+code Del: spam -- https://main.php.net/note/delete/130322/spam Del: non-english -- https://main.php.net/note/delete/130322/non-english Del: in docs -- https://main.php.net/note/delete/130322/in+docs Del: other reasons-- https://main.php.net/note/delete/130322 Reject -- https://main.php.net/note/reject/130322 Search -- https://main.php.net/manage/user-notes.php