» PIE é um instalador para PHP que torna possível instalar extensões PHP de terceiros que podem ser facilmente aplicadas e atualizadas. Ele utiliza o repositório de extensões PHP do » Packagist para encontrar o código-fonte para construir a extensão, ou um binário do Windows para baixar, se existir. Se ele baixar o código-fonte, também saberá como compilá-lo e instalá-lo.
Após » instalar os requisitos e o próprio PIE, pode-se instalar a extensão MongoDB executando o seguinte na linha de comando.
Exemplo #1 Instalando a extensão MongoDB com PIE
pie install mongodb/mongodb-extension
A » documentação "PIE Usage" aborda isso com mais detalhes.