filter_input() ignores $_SERVER['argv'] in cli mode
Nadie ha tomado este issue todavía.
- Lenguaje dominante
- C
- Estrellas
- 40.4k
- Forks
- 8.1k
- Merge medio
- 2 d 13 h
- PR fusionados (30 d)
- 96
Descripción
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
Guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Línea de trabajo
Reproduce el problema con el fragmento mostrado filter_input(INPUT_SERVER, 'argv') en modo CLI usando php index.php; después, rastrea el manejo de filter_input para INPUT_SERVER y compáralo con $_SERVER['argv']. Se considera terminado cuando el resultado filtrado refleja los mismos datos de argv y el comportamiento está cubierto por una prueba de regresión adecuada.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- c, php
- Área
- cli
- Tipo de issue
- Error
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Estado de actividad
- Estancado
- Claridad
- Bastante claro
- Aptitud para principiantes
- 42/100