Ummm... Ik denk dat dat de juiste is manier eigenlijk. \u00df is een correcte unicode-weergave van ß . Wanneer u json_decode() het terug, het wordt ß nogmaals.
Waar zorgt dit voor problemen voor jou? Decodeert de ontvangende kant het niet goed? Het zou moeten als u standaard json_* . gebruikt functies.
Alle voorbeelden in de handleiding laat hetzelfde zien - tekens buiten het ASCII-bereik worden omgezet in numerieke reeksen.