- 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 => "");
var_dump($array);
$json = json_encode($array);
echo "JSON: ".$json."\n";
$json = '{"FOO' . chr(163) . '": ""}';
echo "JSON: ".$json."\n";
var_dump(json_decode($json));