Re: Microseconds to error log

From: Date: Sun, 30 Oct 2022 17:42:11 +0000
Subject: Re: Microseconds to error log
References: 1 2 3 4  Groups: php.internals 
Request: Send a blank email to internals+get-118920@lists.php.net to get a copy of this message
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]

« previous php.internals (#118920) next »