标签： php datetime
如果我有一个DateTime类型的对象，我怎么能添加几毫秒？
$date = new Datetime("2016-09-23T20:48:16.090Z"); // how to add to this date 9 milliseconds?