[php-src] Issue #9106: \DateInterval 1.5s added to DateTimeInterface is rounded down since PHP 8.1.0

From: Date: Thu, 28 Jul 2022 14:26:29 +0000
Subject: [php-src] Issue #9106: \DateInterval 1.5s added to DateTimeInterface is rounded down since PHP 8.1.0
Groups: php.bugs 
Request: Send a blank email to php-bugs+get-242052@lists.php.net to get a copy of this message
Issue: https://github.com/php/php-src/issues/9106 Closed by derickr.

« previous php.bugs (#242052) next »