array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'fr', ), 'this' => array ( 0 => 'install.pie.intro.php', 1 => 'Introduction à PIE', 2 => 'Introduction à PIE', ), 'up' => array ( 0 => 'install.php', 1 => 'Installation et configuration', ), 'prev' => array ( 0 => 'install.composer.intro.php', 1 => 'Introduction à Composer', ), 'next' => array ( 0 => 'configuration.php', 1 => 'Configuration à l\'exécution', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'fr', 'path' => 'install/pie.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

Introduction à PIE

» PIE est une application d'installation pour PHP, qui permet d'installer des extensions tierces pour PHP, qui peuvent ensuite être facilement installées et mises à jour. Elle exploite la partie du référentiel d'extensions PHP de » Packagist pour trouver le code source à compiler pour l'extension, ou un binaire Windows à télécharger, s'il existe. Si elle télécharge le code source, elle sait aussi comment le compiler et l'installer.

Après » l'installation des prérequis et de PIE lui-même, il est ensuite possible d'installer l'extension MongoDB en exécutant la commande suivante en ligne de commande.

Exemple #1 Installer l'extension MongoDB avec PIE

pie install mongodb/mongodb-extension

La » documentation "PIE Installation" explique cela avec plus de détails.