PHP Output issue with @file data inputs

[philipnorton42]

This input

curl -u "demo" -X POST -d @file1.txt -d @file2.txt https://example.com/upload

Whilst it generates the correct data internally, it also produces the following output in the PHP formatter.

curl_setopt($curl_handle, CURLOPT_POSTFIELDS, "0=%40file1.txt&1=%40file2.txt");

This should be something like this:

$post = [
   "@file1.txt",
   "@file2.txt",
];
curl_setopt($curl_handle, CURLOPT_POSTFIELDS, $post);