Better Than get_headers With cURL

function curl_header($url)
{
	$ch = curl_init();
 
	curl_setopt($ch, CURLOPT_URL,            $url);
	curl_setopt($ch, CURLOPT_HEADER,         TRUE);
	curl_setopt($ch, CURLOPT_NOBODY,         TRUE);
	curl_setopt($ch, CURLOPT_RETURNTRANSFER, TRUE);
	curl_setopt($ch, CURLOPT_TIMEOUT,        10);
 
	$out	= explode("\n", curl_exec($ch));
 
	curl_close($ch);
 
	foreach ($out as $header) {
		preg_match('#(.*?)\:\s(.*)#', $header, $matches);
		$head[$matches[1]] = $matches[2];
	}
 
	return $head;
}