<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$TOC_DEPRECATED = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/install.inc";
$setup = array (
  'home' => 
  array (
    0 => 'index.php',
    1 => 'PHP Manual',
  ),
  'head' => 
  array (
    0 => 'UTF-8',
    1 => 'es',
  ),
  'this' => 
  array (
    0 => 'install.pie.intro.php',
    1 => 'Introducci&oacute;n a PIE',
    2 => 'Introducci&oacute;n a PIE',
  ),
  'up' => 
  array (
    0 => 'install.php',
    1 => 'Instalaci&oacute;n y configuraci&oacute;n',
  ),
  'prev' => 
  array (
    0 => 'install.composer.intro.php',
    1 => 'Introducci&oacute;n a Composer',
  ),
  'next' => 
  array (
    0 => 'configuration.php',
    1 => 'Configuraci&oacute;n en tiempo de ejecuci&oacute;n',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'es',
    'path' => 'install/pie.xml',
  ),
  'history' => 
  array (
  ),
);
$setup["toc"] = $TOC;
$setup["toc_deprecated"] = $TOC_DEPRECATED;
$setup["parents"] = $PARENTS;
manual_setup($setup);

contributors($setup);

?>
<div id="install.pie.intro" class="sect1">
  <h2 class="title">Introducción a PIE</h2>
  <p class="simpara">
   <a href="https://github.com/php/pie" class="link external">&raquo;&nbsp;PIE</a> 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
   <a href="https://packagist.org" class="link external">&raquo;&nbsp;Packagist</a> 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.
  </p>
  <p class="simpara">
   Tras <a href="https://github.com/php/pie?tab=readme-ov-file#what-do-i-need-to-get-started" class="link external">&raquo;&nbsp;instalar
   los requisitos y PIE en sí</a>, puede instalar la
   <a href="mongodb.mongodb.php" class="link">extensión MongoDB</a> ejecutando
   el siguiente comando en la línea de comandos.
  </p>
  <div class="example" id="example-1">
   <p><strong>Ejemplo #1 Instalación de la extensión MongoDB con PIE</strong></p>
   <div class="example-contents">
<div class="annotation-chunk:false shellcode"><pre class="shellcode">pie install mongodb/mongodb-extension</pre>
</div>
   </div>

  </div>
  <p class="simpara">
   La documentación de <a href="https://github.com/php/pie/blob/1.4.x/docs/usage.md" class="link external">&raquo;&nbsp;&quot;Uso de PIE&quot;</a>
   profundiza más en este tema.
  </p>

 </div><?php manual_footer($setup); ?>