Re: [RFC][Vote] Add json_encode indent parameter
| From: | Christoph M. Becker | Date: | Tue, 19 Jul 2022 15:24:36 +0000 |
| Subject: | Re: [RFC][Vote] Add json_encode indent parameter | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-118282@lists.php.net to get a copy of this message | ||
On 19.07.2022 at 17:10, Sergey Panteleev wrote:
> 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.
I've just closed the vote. The RFC has been declined.
--
Christoph M. Becker