filter_input() ignores $_SERVER['argv'] in cli mode
Personne n'a encore pris cette issue.
- Langage dominant
- C
- Étoiles
- 40.4k
- Forks
- 8.2k
- Merge moyen
- 2 j 13 h
- PR mergées (30 j)
- 96
Description
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
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Reproduisez le problème avec l’extrait montré filter_input(INPUT_SERVER, 'argv') en mode CLI à l’aide de php index.php, puis suivez le traitement de filter_input pour INPUT_SERVER et comparez-le à $_SERVER['argv']. Le travail est terminé lorsque le résultat filtré reflète les mêmes données argv et que le comportement est couvert par un test de régression approprié.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- c, php
- Domaine
- cli
- Type d'issue
- Bug
- Difficulté
- 3/5
- Temps estimé
- 1-2 jours
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 42/100