get_headers extra parameter

https://bugs.php.net/bug.php?id=34058

As requested ^^ get_headers to specify a header to return.