On 30/10/2022 11:38, Jakub Zelenka wrote:
I think the consensus is more that it needs to be configurable and I'm in favour of configurable option as well as we should not break the current format.
In case of any confusion, I think this should be configurable as "include microseconds: on / off", not configurable as "enter date format".
Regards, -- Rowan Tommins [IMSoP] -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
