note 104723 added to function.get-headers

I found that this function is the slowest in obtaining the headers of a page probably because it uses a GET request rather then a HEAD request. Over 10,000,000 trials of obtaining the headers of a page from a server i found the following (results in seconds). cURL: Mean: 0.584127946. Sigma: 0.050581736. fsocketopen: Mean: 0.622114251. Sigma: 0.263170424. get_headers: Mean: 0.90375551. Sigma: 0.273823419. cURL was the fastest with fsocketopens being the second fastest. I noticed as well that fsocketopen had some outliers where as cURL did not. ---- Server IP: 117.104.162.229 Probable Submitter: 121.44.152.239 (proxied: 121.44.152.239) ---- Manual Page -- http://www.php.net/manual/en/function.get-headers.php Edit -- https://master.php.net/note/edit/104723 Del: integrated -- https://master.php.net/note/delete/104723/integrated Del: useless -- https://master.php.net/note/delete/104723/useless Del: bad code -- https://master.php.net/note/delete/104723/bad+code Del: spam -- https://master.php.net/note/delete/104723/spam Del: non-english -- https://master.php.net/note/delete/104723/non-english Del: in docs -- https://master.php.net/note/delete/104723/in+docs Del: other reasons-- https://master.php.net/note/delete/104723 Reject -- https://master.php.net/note/reject/104723 Search -- https://master.php.net/manage/user-notes.php