I note that the array element for "protocol" seemingly has no value, being reported as: ["protocol"]=> int(3)whereas the array element for e.g. "server" is reported as (in my particular case):["server"]=> string(5) "10.12"A call to json_encode() however gives:"protocol":3 and "server":"10.12"