Hi,
I guess we can close the vote?
Consider the wiki, it should be closed on July 18.
If we do that now, the RFC will be declined by 7 votes for and 21 against.
—
wbr,
Sergey Panteleev
Hi
On 7/4/22 20:23, Timon de Groot wrote:
I went with Jakub's advice and opened the vote, not getting into any
other adjustments to the RFC prior to opening it for vote.
The vote for the json_encode 'indent' parameter is now open. It will run
until 15 July.
RFC: https://wiki.php.net/rfc/json_e
Hi internals,
I went with Jakub's advice and opened the vote, not getting into any
other adjustments to the RFC prior to opening it for vote.
The vote for the json_encode 'indent' parameter is now open. It will run
until 15 July.
RFC: https://wiki.php.net/rfc/json_encode_indentation.
Kind
