php/php-src — pull request #510 by krakjoe (2013-10-29 07:43:39+00:00)
Title: get_headers extra parameter

https://bugs.php.net/bug.php?id=34058

As requested ^^ get_headers to specify a header to return.