filter_input( INPUT_SERVER, $key ) で取得できない変数

REQUEST_TIME_FLOAT, REQUEST_TIME は $_SERVER を直接参照しないと取得できない。

<?php

var_dump(
  $_SERVER["REQUEST_TIME_FLOAT"],
  $_SERVER["REQUEST_TIME"],
  filter_input( INPUT_SERVER, "REQUEST_TIME_FLOAT" ),
  filter_input( INPUT_SERVER, "REQUEST_TIME" )
);
// float(1396327090.6449)
// int(1396327090)
// NULL
// NULL

あと、PHPでHTTP認証している場合に定義される PHP_AUTH_USER, PHP_AUTH_PW なども $_SERVER を直接参照しないと取得できない。

<?php

$user = filter_input( INPUT_SERVER, 'PHP_AUTH_USER');
$pw = filter_input( INPUT_SERVER, 'PHP_AUTH_PW');
if ( ! isset( $user, $pw ) ) {
  header( "WWW-Authenticate: Basic realm=\"?\"" );
  header( "HTTP/1.0 401 Unauthorized" );
  echo "401 Unauthorized";
  exit;
} else {
  echo "ok"; // 一生こっちのブロックにはこない
}