function my_json_encode($value){ return str_replace('\\/', '/', json_encode($value)); }