Bugfixes for PHP 5.2 Json handling