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

示されている filter_input(INPUT_SERVER, 'argv') スニペットを php index.php を使って CLI モードで実行し、問題を再現します。次に、INPUT_SERVER に対する filter_input の処理を追跡し、$_SERVER['argv'] と比較します。フィルタリングされた結果が同じ argv データを反映し、その動作が適切な回帰テストでカバーされれば完了です。