- var_dump: documentation ( source)
- json_decode: documentation ( source)
- json_encode: documentation ( source)
<?php
//Source: https://bugs.php.net/bug.php?id=63898
$key = "Foo " . chr(163);
$array = array($key => "");
$json = json_encode($array);
echo "JSON: ".$json."\n";
var_dump(json_decode($json));