PHP - DateTime 字符串的 Unix 时间戳，保持毫秒精度

PHP - Unix timestamp to DateTime string, maintaining milliseconds precision

我有时间戳

1457459333506 (Tue, 08 Mar 2016 17:48:53 GMT)

这应该是带毫秒的 Unix 时间戳。我想把它写成一个字符串，所以我使用 

$dt = new DateTime("@$unixTimestamp");
echo date('Y-m-d H:i:s.u', $unixTimestamp) . "<br>";

但是输出是2016-06-0822:09:22.000000

这显然是错误的，没有毫秒精度。所以我试过了

echo date('Y-m-d H:i:s.u', $unixTimestamp / 1000) . "<br>";

输出为 2016-03-08 17:48:53.000000（正确，但也没有毫秒精度）。

我怎样才能让它正确输出为：2016-03-08 17:48:53.506 ?

就这么简单

$unixTimestamp = 1457459333506;
$dt = DateTime::createFromFormat("U.u", $unixTimestamp / 1000);
var_dump($dt);

使用 DateTime 对象

Demo