Я использую PHP 7.1.8
, и я конвертирую метку времени в объект datetime:
$t = 1546464670412;
date_default_timezone_set('UTC');
$result = date ('c', (int) round ($t / 1000));
$msec = (int) $t % 1000;
$ts = str_replace ('+00:00', sprintf (".%03dZ", $msec), $result);
$f = DateTime::createFromFormat("U", strtotime($ts));
var_dump($f);
// Output
/*
class DateTime#1 (3) {
public $date =>
string(19) "2019-01-02 21:31:10"
public $timezone_type =>
int(1)
public $timezone =>
string(6) "+00:00"
}
*/
Отметка времени корректно преобразуется в Ч: м: с, однако я бы также хотел добавить миллисекунды.
Какие-либо предложения, какой формат DateTime я должен использовать?
Заранее спасибо или ваши ответы!