2 つの ASCII 日時スタンプがあります。最終的には、秒とミリ秒の差を取得したいと考えています。DateTime クラスと Date() 関数を使用してみました。日付形式のドキュメントにはクラスがそれを保持すると書かれていますが、これらはどちらもマイクロ秒を切り捨てているようです。
ここに私がこれまでに持っているものがあります:
<?php
// test.datetimediff.php
echo "<pre>\n";
$tz = new DateTimeZone('America/Toronto');
echo print_r($tz, true) . "<br>\n";
/*
$dt1 = date('Y-m-d H:i:s.u', '2013-09-30 13:06:56.944');
$dt2 = date('Y-m-d H:i:s.u', '2013-09-30 13:06:56.979');
*/
$dt1 = new Datetime('2013-09-30 13:06:56.944', $tz);
$dt2 = new Datetime('2013-09-30 13:06:56.979', $tz);
echo print_r($dt1, true) . "<br>\n";
echo print_r($dt2, true) . "<br>\n";
$interval = $dt1->diff($dt2);
$seconds = $interval->format('%s');
echo 'seconds: ' . $seconds . "<br>\n";
echo "</pre>\n" . "<br>\n";