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

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

Riproduci il problema con lo snippet mostrato filter_input(INPUT_SERVER, 'argv') in modalità CLI usando php index.php, quindi traccia la gestione di filter_input per INPUT_SERVER e confrontala con $_SERVER['argv']. Il lavoro è completato quando il risultato filtrato riflette gli stessi dati argv e il comportamento è coperto da un test di regressione appropriato.