входной фильтр — PHP filter_input REQUEST_TIME
filter_input(INPUT_SERVER, 'REQUEST_TIME') ничего не возвращает.
в отличие от прямого доступа $_SERVER['REQUEST_TIME'], который возвращает правильный номер.
Я делаю что-то неправильно? HTTP_USER_AGENT например возвращается нормально.
Я искал и не нашел, кажется, request_time не доступен через filter_input по какой-то причине.
Проверено на PHP 5.6 и 7.0.
Решение
Не цитируйте меня, но что-то вроде этого — ваша проблема.
REQUEST_TIME добавляется в $ _SERVER после обработки HTTP REQUEST вашим веб-сервером (или, точнее, модулем PHP). Он не отображается в строке заголовков HTTP / запроса, бла, бла, бла, поэтому вы не можете фильтровать REQUEST_TIME, как вы можете HTTP_HOST, HTTP_USER_AGENT, REQUEST_URI или USER_IP. Я также использую функции фильтра PHP. Чтобы проверить мой псевдо-ответ, используйте …
if(filter_has_var(INPUT_SERVER, 'REQUEST_TIME'))
{
echo 'REQUEST_TIME is filterable with filter_input()';
}
else
{
echo 'TOUGH LUCK'; //Kidding.
}
Я только что проверил это на PHP 5.6.11. Я чувствую, что я прав. Код ответил «УДАЧИ». Таким образом, аналогично SERVER_NAME, REQUEST_TIME является внутренним значением. Разница в том, что SERVER_NAME присутствует в «волшебное время». REQUEST_TIME добавляется позже. Пойди разберись.
Другие решения
Других решений пока нет …