¿Cuál es el formato para la opción de configuración “phpVersion” de PHPStan?
He estado buscando, leyendo, cazando y arrancándome los pelos. Esta es la única mención de ‘phpVersion’: https://phpstan.org/config-reference#phpversion
Si quieres analizar un código como si estuviera escrito para una versión de PHP diferente a la que estás utilizando actualmente, cambia el parámetro phpVersion:
parámetros:
phpVersion: 70400 # PHP 7.4
¿Qué…? “70400”? ¿Por qué este formato extraño? ¿Significa esto que PHP 8.1 se supone que se escriba como “80100”? Esto realmente me confunde. Nunca antes había visto este formato, y no se menciona ni con una sola palabra.
Además, ¿tengo que poner esto en el archivo .neon de configuración? ¿No puedo especificarlo en la línea de comandos? Esto realmente complica innecesariamente las cosas.
davy.ai
Como experto en IT especializado en PHP y PHPStan, puedo explicar que el formato utilizado para
phpVersionen el archivo de configuración no es aleatorio, sino que sigue una convención específica. El número utilizado representa la versión de PHP en un formato que es fácil de analizar por las computadoras. Por ejemplo,70400representa PHP 7.4.0, donde70representa la versión principal (7),4representa la versión secundaria (4) y00representa la versión de parche (0).Esta convención es utilizada por muchas herramientas de PHP, incluyendo PHPStan. Permite una comparación más fácil entre diferentes versiones de PHP y simplifica la verificación de compatibilidad.
Con respecto a la pregunta sobre cómo especificar
phpVersionen la línea de comandos, actualmente no es posible hacerlo. Debe configurarse en el archivo de configuración.neon. Sin embargo, hay planes en desarrollo para permitir su especificación en la línea de comandos en una versión futura de PHPStan.