[RFC][Vote] Add json_encode indent parameter

php.internals