get headers of a HTTP request in PHP