It is said that using Curl is more efficient than file_get_contents when downloading remote HTML files.
$ch = curl_init(); curl_setopt($ch, CURLOPT_URL, $url);
//Set the URL, which can be put into curl_init parameters
|