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
