note 71244 added to function.json-encode

// fixes unconverted chars in range 00-1f function json_real_encode($obj){ $range = array_merge(range(0, 7), array(11), range(14, 31)); return str_replace( array_map(create_function('&$i', 'return chr($i);'), $range), array_map(create_function('&$i', 'return $i ? "\\u00".sprintf("%02x", $i) : "\\u0000";'), $range), json_encode($obj) ); } ---- Server IP: 213.92.11.19 Probable Submitter: 84.221.56.13 ---- Manual Page -- http://www.php.net/manual/en/function.json-encode.php Edit -- https://master.php.net/note/edit/71244 Del: integrated -- https://master.php.net/note/delete/71244/integrated Del: useless -- https://master.php.net/note/delete/71244/useless Del: bad code -- https://master.php.net/note/delete/71244/bad+code Del: spam -- https://master.php.net/note/delete/71244/spam Del: non-english -- https://master.php.net/note/delete/71244/non-english Del: in docs -- https://master.php.net/note/delete/71244/in+docs Del: other reasons-- https://master.php.net/note/delete/71244 Reject -- https://master.php.net/note/reject/71244 Search -- https://master.php.net/manage/user-notes.php