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_encode_indentation.
Don't forget to move it into the "In voting phase" section at:
https://wiki.php.net/rfc
Best regards
Tim Düsterhus
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: https://www.php.net/unsub.php
