<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$TOC_DEPRECATED = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/readline.setup.inc";
$setup = array (
  'home' => 
  array (
    0 => 'index.php',
    1 => 'PHP Manual',
  ),
  'head' => 
  array (
    0 => 'UTF-8',
    1 => 'pt_BR',
  ),
  'this' => 
  array (
    0 => 'readline.installation.php',
    1 => 'Instala&ccedil;&atilde;o',
    2 => 'Instala&ccedil;&atilde;o',
  ),
  'up' => 
  array (
    0 => 'readline.setup.php',
    1 => 'Instala&ccedil;&atilde;o/Configura&ccedil;&atilde;o',
  ),
  'prev' => 
  array (
    0 => 'readline.requirements.php',
    1 => 'Depend&ecirc;ncias',
  ),
  'next' => 
  array (
    0 => 'readline.configuration.php',
    1 => 'Configura&ccedil;&otilde;es em Execu&ccedil;&atilde;o',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'pt_BR',
    'path' => 'reference/readline/configure.xml',
  ),
  'history' => 
  array (
  ),
);
$setup["toc"] = $TOC;
$setup["toc_deprecated"] = $TOC_DEPRECATED;
$setup["parents"] = $PARENTS;
manual_setup($setup);

contributors($setup);

?>
<div id="readline.installation" class="section">
 <h2 class="title">Instalação</h2>
 <p class="simpara">
  Para usar estas funções, as versões CGI ou CLI do PHP devem ser compiladas
  com suporte a readline. É necessário configurar o PHP com a opção
  <strong class="option configure">--with-readline[=DIR]</strong>.
  Se a intenção for usar a biblioteca substituta libedit, o PHP deve ser configurado com
  <strong class="option configure">--with-libedit[=DIR]</strong>.
 </p>
 <p class="simpara">
  No Windows, esta extensão está disponível por padrão a partir do PHP 7.1.0.
 </p>
</div><?php manual_footer($setup); ?>