1. 2022-07-19 [PHP-DEV] [RFC][Vote] Add json_encode indent paramete php-inter Sergey Panteleev 2. 2022-07-04 Re: [PHP-DEV] [RFC][Vote] Add json_encode indent para php-inter Tim_Düsterhus 3. 2022-07-04 [PHP-DEV] [RFC][Vote] Add json_encode indent paramete php-inter Timon de Groot