Ummm... creo que eso es lo correcto manera en realidad. \u00df es una representación Unicode correcta de ß . Cuando json_decode() de vuelta, se convertirá en ß de nuevo.
¿Dónde está esto creando problemas para usted? ¿El extremo receptor no lo decodifica correctamente? Debería si usa json_* estándar funciones.
Todos los ejemplos en el manual muestran lo mismo:los caracteres más allá del rango ASCII se convierten en secuencias numéricas.
