Source of: /manual/es/dio.requirements.php
<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/dio.setup.inc";
$setup = array (
'home' =>
array (
0 => 'index.php',
1 => 'PHP Manual',
),
'head' =>
array (
0 => 'UTF-8',
1 => 'es',
),
'this' =>
array (
0 => 'dio.requirements.php',
1 => 'Requerimientos',
),
'up' =>
array (
0 => 'dio.setup.php',
1 => 'Instalación/Configuración',
),
'prev' =>
array (
0 => 'dio.setup.php',
1 => 'Instalación/Configuración',
),
'next' =>
array (
0 => 'dio.installation.php',
1 => 'Instalación',
),
'alternatives' =>
array (
),
);
$setup["toc"] = $TOC;
$setup["parents"] = $PARENTS;
manual_setup($setup);
manual_header();
?>
<div id="dio.requirements" class="section">
<h2 class="title">Requerimientos</h2>
<p class="para">No se requiere de ninguna biblioteca externa para compilar esta extensión.</p>
</div><?php manual_footer(); ?>
