Json php decode array: PHP: json_decode — Manual