HTTP HEAD でレスポンスヘッダを取得する方法

PHP では、HTTP レスポンスヘッダを取得する関数として、get_headers()があります。
ただし、この関数は、HTTP HEADメソッドを送ってくれる訳ではなく
HTTP GET を実行して、そのレスポンスヘッダーを返します。
ですので、本来は不必要なデータも一緒に送られてくることになります。
HTTP HEAD を送信するためには、以下のようにします。

stream_context_set_default(array('http'=>array('method'=>'HEAD'))); $headers=get_headers($url,1);

ちなみに、
$headers=get_headers($url);
と
$headers=get_headers($url,1);
の違いは

<?php $url="http://pgmemo.net/"; $headers=get_headers($url); print_r($headers); ?> Array ( [0] => HTTP/1.1 200 OK [1] => Date: Mon, 18 Jul 2016 01:58:56 GMT [2] => Server: Apache [3] => X-Powered-By: PHP/5.6.21 [4] => Link: ; rel="https://api.w.org/" [5] => Content-Type: text/html; charset=UTF-8 [6] => Connection: close )

<?php $url="http://pgmemo.net/"; $headers=get_headers($url,1); echo $headers; ?> Array ( [0] => HTTP/1.1 200 OK [Date] => Mon, 18 Jul 2016 01:58:57 GMT [Server] => Apache [X-Powered-By] => PHP/5.6.21 [Link] => ; rel="https://api.w.org/" [Content-Type] => text/html; charset=UTF-8 [Connection] => close )

こんな違いになります。