### Description The following code: ```php <?php echo json_encode(str_getcsv("\"")); ``` Resulted in this output: ``` ["\u0000"] ``` But I expected this output instead: ``` [""] ``` https://3v4l.org/TI1vo ### PHP Version PHP 5.3.0 to now ### Operating System _No response_