• #dev 2018-07-13
  • Prev
    Next
  • #indieweb
  • #dev
  • #wordpress
  • #meta
  • #stream
  • #microformats
  • #known
  • #events
#dev ≡
  • ←
  • →
2018-07-13 UTC
# 11:26
Zegnat I hope they will adapt getallheaders for everything at some point. So we can stop with the whole `HTTP_` prefixed keys in the $_SERVER array.