» 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.
Ejemplo #1 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.