mirror of
https://github.com/php/php-src.git
synced 2026-04-18 21:41:22 +02:00
When storing '015700' microseconds in a Datetime object,
Datetime::format('u') returns '015699'
Already known per bug45554 reproducer (also fixed).