Próbuję uzyskać czas upływający między dwoma ciągami datetime (w tym milisekund)

przykład:

<code>$pageTime = strtotime("2012-04-23T16:08:14.9-05:00");
$rowTime = strtotime("2012-04-23T16:08:16.1-05:00");
$timePassed = $rowTime - $pageTime;
echo $timePassed . "<br/><br/>";
</code>

To, co chcę zobaczyć, to „1.2”, alestrtotime() ignoruje milisekundową część ciągu. Widocznie teżmicrotime() nie pozwala ci nadać datestringowi ... Czy istnieje alternatywna funkcja do obliczenia tego, czy będę musiał wykonać jakieś parsowanie ciągów, aby wyodrębnić sekundy i milisekundy i odjąć?