The get_headers function determines whether the remote file exists

/Determine whether the remote file exists
function remote_file_exists($url) {
’ s ’ s ’ s t .
$headers = @get_headers ($url);
ini_set('max_execution_time', $executeTime);
if ($headers) {
$head =explode
(' ',$headers[0]); }
The above introduces the get_headers function to determine whether the remote file exists, including the content. I hope it will be helpful to friends who are interested in PHP tutorials.