Our source is open

The syntax highlighted source is automatically generated by PHP from the plaintext script. If you're interested in what's behind the several functions we used, you can always take a look at the source of the following files:

Of course, if you want to see the source of this page, we have it available. You can also browse the Git repository for this website on git.php.net.

Source of: /manual/es/pcntl.configuration.php


<?php

include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';

$TOC = array();

$PARENTS = array();

include_once dirname(__FILE__) ."/toc/pcntl.setup.inc";

$setup = array (

  'home' => 

  array (

    0 => 'index.php',

    1 => 'PHP Manual',

  ),

  'head' => 

  array (

    0 => 'UTF-8',

    1 => 'es',

  ),

  'this' => 

  array (

    0 => 'pcntl.configuration.php',

    1 => 'Configuraci&oacute;n en tiempo de ejecuci&oacute;n',

  ),

  'up' => 

  array (

    0 => 'pcntl.setup.php',

    1 => 'Instalaci&oacute;n/Configuraci&oacute;n',

  ),

  'prev' => 

  array (

    0 => 'pcntl.installation.php',

    1 => 'Instalaci&oacute;n',

  ),

  'next' => 

  array (

    0 => 'pcntl.resources.php',

    1 => 'Tipos de recursos',

  ),

  'alternatives' => 

  array (

  ),

);

$setup["toc"] = $TOC;

$setup["parents"] = $PARENTS;

manual_setup($setup);



manual_header();

?>

<div id="pcntl.configuration" class="section">

  <h2 class="title">Configuración en tiempo de ejecución</h2>

  <p class="para">Esta extensión no tiene directivas de configuración definidas en <var class="filename">php.ini</var>.</p>

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

This mirror generously provided by: Directi Web Hosting
Last updated: Wed Jun 19 11:40:58 2013 UTC