<?php
$TOC = array (
  0 => 
  array (
    0 => 'install.general.php',
    1 => 'Consideraciones generales sobre la instalaci&oacute;n',
  ),
  1 => 
  array (
    0 => 'install.unix.php',
    1 => 'Instalaci&oacute;n en sistemas Unix',
  ),
  2 => 
  array (
    0 => 'install.macosx.php',
    1 => 'Instalaci&oacute;n en un sistema macOS',
  ),
  3 => 
  array (
    0 => 'install.windows.php',
    1 => 'Instalaci&oacute;n en sistemas Windows',
  ),
  4 => 
  array (
    0 => 'install.cloud.php',
    1 => 'Instalaci&oacute;n en las plataformas de Nube Inform&aacute;tica',
  ),
  5 => 
  array (
    0 => 'install.fpm.php',
    1 => 'FastCGI Process Manager (FPM)',
  ),
  6 => 
  array (
    0 => 'install.pecl.php',
    1 => 'Instalaci&oacute;n de extensiones PECL',
  ),
  7 => 
  array (
    0 => 'install.composer.intro.php',
    1 => 'Introducci&oacute;n a Composer',
  ),
  8 => 
  array (
    0 => 'install.pie.intro.php',
    1 => 'Introducci&oacute;n a PIE',
  ),
  9 => 
  array (
    0 => 'configuration.php',
    1 => 'Configuraci&oacute;n en tiempo de ejecuci&oacute;n',
  ),
);
$TOC_DEPRECATED = array (
);
$PARENTS = array (
  0 => 
  array (
    0 => 'index.php',
    1 => 'Prefacio',
  ),
);