A basic small PHP program with two simple curl commands in it

This very small project (which should take a PHP Programmer just a few minutes to write) requires copying the basic function of two separate one line shell scripts which run a simple curl command in each of them and output the data to a shared log file.

Below are the two shell scripts along with the one curl-get.txt file that provides very simple parameters that each curl script uses and then outputs to one log file called result.log

I will do all the testing for you.

Thank you

John

Shell scripts:
--------------
#1 shell script

#!/bin/bash
SPTH='/home/user/result.log'
curl -w "@curl-get.txt" -so /dev/null -s "https://robolinux.org/">>$SPTH

#2 shell script:
--------------------

#!/bin/bash
SPTH='/home/user/result.log'
curl -w "@curl-get.txt" -so /dev/null -s "http://download.robolinux.org">>$SPTH

curl-get.txt file:
----------------------

content_type: %{content_type}
,
response_code: %{http_code}
,
download_size: %{size_download}
,
time_namelookup: %{time_namelookup}
,
time_connect: %{time_connect}
,
time_appconnect: %{time_appconnect}
,
time_pretransfer: %{time_pretransfer}
,
time_redirect: %{time_redirect}
,
time_starttransfer: %{time_starttransfer}
,
time_total: %{time_total}\n\n