Hacktoberfest 2026:メンテナが10月に向けて印を付けた、オープンで初心者向けの issue。 Hacktoberfest の issue を見る

Project installation ignores version constraints when checking already-installed extensions

クローズ
#775 コメント 1 件 リアクション 1 件 担当者 1 名 GitHub で見る

メンテナーはふだん 1 日以内に返信

@asgrim がすでに取り組んでいます。

2026年10月13日 から。

  • #777 @asgrim による — マージ済み

評価

この issue はまだ評価されていません。

説明

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?

主要言語
PHP
スター
2k
フォーク
75
平均マージ
20時間
マージ済み PR(30日)
17

環境構築

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

php/pie のほかの issue

php/pie の issue をすべて見る

似ている issue

PHP の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。