php / php4String JSON de escape function escapeJsonString($value) { return str_replace( array("\", "/", """