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

使用 php index.php 在 CLI 模式下通过所示的 filter_input(INPUT_SERVER, 'argv') 代码片段重现该问题，然后跟踪 filter_input 对 INPUT_SERVER 的处理，并将其与 $_SERVER['argv'] 进行比较。完成的标准是：过滤后的结果反映相同的 argv 数据，并且该行为由适当的回归测试覆盖。