PHP filter_input fails on INPUT_SERVER

When installing this new version of the site I learned about an old PHP bug today. When using INPUT_SERVER with filter_input() the server may return NULL, even when a value exists.

As a solution use the value from $_SERVER directly and apply filtering in your own code.