array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'it', ), 'this' => array ( 0 => 'install.pie.intro.php', 1 => 'Introduzione a PIE', 2 => 'Introduzione a PIE', ), 'up' => array ( 0 => 'install.php', 1 => 'Installazione e configurazione', ), 'prev' => array ( 0 => 'install.composer.intro.php', 1 => 'Introduzione a Composer', ), 'next' => array ( 0 => 'configuration.php', 1 => 'Runtime Configuration', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'it', 'path' => 'install/pie.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

Introduzione a PIE

» 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.