» PIE è un installatore per PHP che permette di installare estensioni PHP di terze parti, che possono poi essere facilmente installate e aggiornate. Utilizza la parte dedicata alle estensioni PHP del repository » Packagist per trovare il codice sorgente per compilare l'estensione, o un binario Windows da scaricare, se esiste. Se scarica il codice sorgente, sa anche come compilarlo e installarlo.
Dopo aver » installato i requisiti e PIE stesso, è possibile installare l'estensione MongoDB eseguendo il seguente comando dalla riga di comando.
Example #1 Installazione dell'estensione MongoDB con PIE
pie install mongodb/mongodb-extension
La » documentazione sull'"Utilizzo di PIE" approfondisce l'argomento.