filter_input() ignores $_SERVER['argv'] in cli mode
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- C
- Sterne
- 40.4k
- Forks
- 8.1k
- Ø Merge
- 2 T. 13 Std.
- Gemergte PRs (30 T.)
- 96
Beschreibung
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
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Reproduziere das Problem mit dem gezeigten filter_input(INPUT_SERVER, 'argv')-Snippet im CLI-Modus mit php index.php und verfolge dann die Verarbeitung von filter_input für INPUT_SERVER und vergleiche sie mit $_SERVER['argv']. Erledigt ist die Aufgabe, wenn das gefilterte Ergebnis dieselben argv-Daten widerspiegelt und das Verhalten durch einen geeigneten Regressionstest abgedeckt ist.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- c, php
- Bereich
- cli
- Issue-Typ
- Bug
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 42/100