jsonSerialize(), $status, $headers, $encodingOptions); } }