Ummm... Je pense que c'est le correct façon en fait. \u00df est une représentation unicode correcte de ß . Lorsque vous json_decode() de retour, il deviendra ß à nouveau.
Où cela vous pose-t-il des problèmes ? Le destinataire ne le décode-t-il pas correctement ? Il devrait si vous utilisez la norme json_* fonctions.
Tous les exemples du manuel affiche la même chose - les caractères au-delà de la plage ASCII sont transformés en séquences numériques.
