Ich versuche, die zwischen zwei Datums- und Uhrzeitzeichenfolgen (einschließlich Millisekunden) verstrichene Zeit zu ermitteln.

Beispiel:

<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>

Was ich gerne als Echo sehen möchte ist "1.2" aberstrtotime() ignoriert den Millisekunden-Teil der Zeichenfolge. Auch anscheinendmicrotime() lassen Sie es nicht einen Datenring geben ... Gibt es eine alternative Funktion, um dies zu berechnen, oder muss ich ein paar Zeichenfolgen analysieren, um die Sekunden und Millisekunden zu extrahieren und zu subtrahieren?