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

OndrejPhpenmod used even when PHP invoking it is different

Cerrado
#761 0 comentarios 0 reacciones 1 asignado Ver en GitHub

Los mantenedores suelen responder en 1 día

@asgrim ya está trabajando en esto.

Desde el 6/10/2026.

Evaluación

Este issue todavía no se ha evaluado.

Descripción

bug bug-confirmed maintainer investigating

What are you trying to do?

Install any extension

What platform, and PIE version are you using?

Most recent PIE versions (this bug has existed for a while).

Pre-requisites:

  • You must have ondrej/php repo installed (i.e. which phpenmod valid)
  • You must have a separate non-Ondrej-controlled PHP install (e.g. compile PHP from source)

Steps to reproduce the issue

  • Invoke PIE to install any extension using the non-Ondrej PHP

What do you expect to happen?

The extension should install and be enabled

What is actually happening

There is an error enabling the extension in PHP INI; it carries thru to the next attempt, so eventually works.

Anything else?

  • which phpenmod exists, so OndrejPhpenmod is tried
  • however when using the separate PHP instance, phpenmod <the-ext> won't enable the extension
  • We need to be more clever about whether the PHP we're invoking is actually the Ondrej one
Lenguaje dominante
PHP
Estrellas
2k
Forks
75
Merge medio
19 h
PR fusionados (30 d)
16

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.