<?php

$ch1 = curl_init();

curl_setopt($ch1, CURLOPT_URL, 'https://www.php.net/robots.txt');
curl_pause($ch1, CURLPAUSE_CONT);
curl_exec($ch1);