<?php
$TOC = array (
  0 => 
  array (
    0 => 'context.socket.php',
    1 => 'Socket context options',
  ),
  1 => 
  array (
    0 => 'context.http.php',
    1 => 'HTTP context options',
  ),
  2 => 
  array (
    0 => 'context.ftp.php',
    1 => 'Opzioni di contesto FTP',
  ),
  3 => 
  array (
    0 => 'context.ssl.php',
    1 => 'SSL context options',
  ),
  4 => 
  array (
    0 => 'context.phar.php',
    1 => 'Opzioni di contesto Phar',
  ),
  5 => 
  array (
    0 => 'context.params.php',
    1 => 'Parametri di contesto',
  ),
  6 => 
  array (
    0 => 'context.zip.php',
    1 => 'Opzioni di contesto Zip',
  ),
  7 => 
  array (
    0 => 'context.zlib.php',
    1 => 'Opzioni di contesto Zlib',
  ),
);
$TOC_DEPRECATED = array (
);
$PARENTS = array (
  0 => 
  array (
    0 => 'langref.php',
    1 => 'Struttura del Linguaggio',
  ),
  1 => 
  array (
    0 => 'index.php',
    1 => 'Manuale PHP',
  ),
);