<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$TOC_DEPRECATED = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/funcref.inc";
$setup = array (
  'home' => 
  array (
    0 => 'index.php',
    1 => 'PHP Manual',
  ),
  'head' => 
  array (
    0 => 'UTF-8',
    1 => 'it',
  ),
  'this' => 
  array (
    0 => 'refs.utilspec.cmdline.php',
    1 => 'Estensioni specifiche della linea di comando',
    2 => 'Estensioni specifiche della linea di comando',
  ),
  'up' => 
  array (
    0 => 'funcref.php',
    1 => 'Guida Funzioni',
  ),
  'prev' => 
  array (
    0 => 'function.radius-strerror.php',
    1 => 'radius_strerror',
  ),
  'next' => 
  array (
    0 => 'book.readline.php',
    1 => 'Readline',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'base',
    'path' => 'manual.xml',
  ),
  'history' => 
  array (
  ),
  'extra_header_links' => 
  array (
    'rel' => 'alternate',
    'href' => '/manual/en/feeds/refs.utilspec.cmdline.atom',
    'type' => 'application/atom+xml',
  ),
);
$setup["toc"] = $TOC;
$setup["toc_deprecated"] = $TOC_DEPRECATED;
$setup["parents"] = $PARENTS;
manual_setup($setup);

contributors($setup);

?>
<div id="refs.utilspec.cmdline" class="set">
   <h1 class="title">Estensioni specifiche della linea di comando</h1>
   




  <ul class="chunklist chunklist_set"><li><a href="book.readline.php">Readline</a> — GNU Readline<ul class="chunklist chunklist_set chunklist_children"><li><a href="readline.setup.php">Installazione/Configurazione</a></li><li><a href="readline.constants.php">Costanti predefinite</a></li><li><a href="ref.readline.php">Readline Funzioni</a></li></ul></li></ul></div><?php manual_footer($setup); ?>