PHP の filter_input で INPUT_SERVER を扱うのはやめたほうがいいかもしれない

PHP 7.4 では filter_input で SERVER 変数をうまく使えない。例えば REQUEST_URI を指定しても値が入らない。

このバグはローカル環境では起きないが、FastCGI が動いているサーバーで起きる。つまり非常にやっかい。

なので SERVER 変数は filter_input 以外のやり方で扱う。