(Info) Microsecond und Millisecond units für DateTime

[jspit]

Bisher im PHP-Manual undokumentiert akzeptiert DateTime ab PHP 7.1 neben den hier dokumentierten Einheiten auch "Milliseconds" und "Microseconds".
Besonders einfach können damit auch Zeiten mit Bruchteilen von Sekunden addiert werden.

$dt = new DateTime('2021-09-28 12:00');

$seconds = 5.67;
$milliSec = (int)($seconds * 1000);

$dt->modify($milliSec.' Milliseconds');

var_dump($dt);  //.. "2021-09-28 12:00:05.670000" 

LG jspit

[strub]

Gut zu wissen danke. Wüsste zwar jetzt keinen Anwendungsfall wo es auf Millisekunden ankommt.

[Arne Drews]

Bei Vergleichen von Datenbankeinträgen, die über einen Bulk eingefügt wurden mit aktuellem Timestamp, könnte ich mir das schon vorstellen.
Bei normalen Datums- und Zeitvergleichen eher nicht, das stimmt schon.

[jspit]

Beim Debugging/Logging habe ich immer ein Millisekunden-Zeitstempel anbei. Und bei den Test's wird die Laufzeit für jeden Einzeltest auch mit Mikrosekunden ausgewiesen. So habe ich die Performance immer im Auge.