[HTTP] HTTP headers are determined from $_SERVER when getallheaders() is missing