note 99854 added to function.get-headers

If anyone is curious, as I was, this function does not send a HEAD verb. Instead it sends a GET. Which in my case is not ideal because I need a quick way to get a HTTP status (200, 404, etc.) The problem with GET is that, for cases such as mine, I do not want all the overhead with the data that comes back. ---- Server IP: 69.147.83.197 Probable Submitter: 72.174.168.41 ---- Manual Page -- http://www.php.net/manual/en/function.get-headers.php Edit -- https://master.php.net/note/edit/99854 Del: integrated -- https://master.php.net/note/delete/99854/integrated Del: useless -- https://master.php.net/note/delete/99854/useless Del: bad code -- https://master.php.net/note/delete/99854/bad+code Del: spam -- https://master.php.net/note/delete/99854/spam Del: non-english -- https://master.php.net/note/delete/99854/non-english Del: in docs -- https://master.php.net/note/delete/99854/in+docs Del: other reasons-- https://master.php.net/note/delete/99854 Reject -- https://master.php.net/note/reject/99854 Search -- https://master.php.net/manage/user-notes.php