PHP getallheaders polyfill