Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

Project installation ignores version constraints when checking already-installed extensions

Cerrado
  • ¿Algo no está bien?
#775 1 comentario 1 reacción 1 asignado Ver en GitHub

Los mantenedores suelen responder en 1 día

@asgrim ya está trabajando en esto.

Desde el 13/10/2026.

  • #777 de @asgrim — fusionado

Evaluación

Este issue todavía no se ha evaluado.

Descripción

enhancement maintainer investigating

I'm using PIE in a PaaS environment, which provides PHP with a bunch of extension.
A few more extensions are automatically installed, using composer.json as source (this mechanism is implemented by the PaaS).

My setup requires ext-mongodb:^2.5.0.
The PaaS already provides mongodb 1.21.5.

When running php pie.phar install, PIE reports that the mongodb extension is already installed:

% php pie.phar install
[...]
requires: ext-mongodb:^2.5.0 ✅ Already installed

But when looking more closely:

% composer check-platform-reqs
[...]
ext-mongodb 1.21.5 __root__ requires ext-mongodb ([>= 2.5.0.0-dev < 3.0.0.0-dev]) __root__ requires ext-mongodb (^2.5.0) failed

% php --ri mongodb | grep version
MongoDB extension version => 1.21.5
[...]

I'd expect PIE to notice that the installed version does not satisfy the constraint and:

  • ideally, replace the version by the appropriate one.
  • at least don't report that the requirement is fulfilled, and instead report a version mismatch.

Here's my composer.json file:

{
  "require": {
    "ext-mongodb": "^2.5.0",
    "php": "8.5.*"
  }
}

Here are the different versions I'm using:

% php pie.phar --version
🥧 PHP Installer for Extensions (PIE) 1.5.2

% php -v
PHP 8.5.11 (cli) (built: Sep 25 2026 12:32:53) (NTS)
Copyright (c) The PHP Group
Zend Engine v4.5.11, Copyright (c) Zend Technologies
    with Zend OPcache v8.5.11, Copyright (c), by Zend Technologies

Is this intended behavior? Or am I missing something?

Lenguaje dominante
PHP
Estrellas
2k
Forks
75
Merge medio
20 h
PR fusionados (30 d)
17

Preparar el entorno

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de php/pie

Todos los issues de php/pie

Issues similares

Más issues de PHP

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.