Instalación de PIE y extensiones de terceros
En esta página
Instalación de PIE y extensiones de terceros#
Introducción a PIE#
PIE es un instalador para PHP que permite instalar extensiones PHP de terceros, que luego pueden ser fácilmente instaladas y actualizadas. Aprovecha el repositorio de extensiones PHP de Packagist para encontrar el código fuente para compilar la extensión, o un binario de Windows para descargar, si existe. Si descarga el código fuente, también sabe cómo compilarlo e instalarlo.
Tras instalar los requisitos y PIE en sí, puede instalar la extensión MongoDB ejecutando el siguiente comando en la línea de comandos.
Instalación de la extensión MongoDB con PIE
pie install mongodb/mongodb-extension
La documentación de "Uso de PIE" profundiza más en este tema.