Fixed broken link to PHP's json_encode