[PHP-DEV] [RFC][Vote] Add json_encode indent parameter

[Sergey Panteleev]

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

Re: [PHP-DEV] [RFC][Vote] Add json_encode indent parameter

[Tim Düsterhus]

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

[PHP-DEV] [RFC][Vote] Add json_encode indent parameter

[Timon de Groot]

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 regards,

Timon

--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: https://www.php.net/unsub.php