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

2022-07-03 Thread Kevin Israel
On 7/3/22 18:01, Jakub Zelenka wrote: I think we can put this RFC to the vote. If the author is to busy I would like to start voting later this week. It would be a pity not to make it to feature freeze as it is quite straight forward and the implementation seems good as well so I guess we

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

2022-07-03 Thread Jakub Zelenka
Hi, On Fri, May 13, 2022 at 2:33 PM Timon de Groot wrote: > Hi internals, > > Almost a year ago I first proposed my RFC draft to introduce a new > json_encode parameter 'indent'. I have received a lot of feedback on the > change, very insightful. The feedback can be boiled down to: > -