filter_input() ignores $_SERVER['argv'] in cli mode

[Boldewyn]

Description

The following code:

<?php
var_dump(filter_input(INPUT_SERVER, 'argv'));

when called in a shell in this way:

php index.php

resulted in this output:

NULL

But I expected this output instead:

array(1) {
  [0]=>
  string(9) "index.php"
}

Or put another way, filter_input(INPUT_SERVER, 'argv') and $_SERVER['argv'] are not working on the same data.

PHP Version

PHP 8.1.2-1ubuntu2.10 (Ubuntu 22.04) and PHP 8.2.1 (Docker)

Operating System

No response

[stramunin]

Function filter_input (filter_has_var) doesn't work with current values:

$_SERVER['foo'] = 'bar';
assert($_SERVER['foo'] === 'bar');
assert(empty(filter_input(INPUT_SERVER, 'foo')));
assert(empty(filter_has_var(INPUT_SERVER, 'foo')));

More info:
https://www.php.net/manual/en/ini.core.php#ini.variables-order (section Warning)
https://www.php.net/manual/en/reserved.variables.argc.php
https://www.php.net/manual/en/reserved.variables.argv.php (use it instead of $_SERVER['argv'])

[Boldewyn]

Good to know, thanks!

In the case of argv it is a documented value of $_SERVER. It is surely reasonable to assume, that all keys from https://www.php.net/manual/en/reserved.variables.server.php would be available with the INPUT_SERVER flag.