get_headers函数用于获取指定URL的服务器响应头信息,语法如下:
get_headers(string $url, int $format = 0): array|false
其中,$url是要获取响应头信息的URL,$format是一个可选参数,用于指定返回的响应头信息的格式。默认值为0,表示返回一个关联数组。
下面是一个示例代码,演示如何使用get_headers函数获取指定URL的服务器响应头信息:
$url = 'https://www.example.com';
$headers = get_headers($url);
if ($headers) {
foreach ($headers as $header) {
echo $header . "<br>";
}
} else {
echo "Failed to get headers";
}
上面的代码会获取https://www.example.com的服务器响应头信息,并输出到页面上。如果获取失败,则输出"Failed to get headers"。