<?php
$TOC = array (
  0 => 
  array (
    0 => 'about.formats.php',
    1 => 'Formati',
  ),
  1 => 
  array (
    0 => 'about.notes.php',
    1 => 'Contributi degli utenti',
  ),
  2 => 
  array (
    0 => 'about.prototypes.php',
    1 => 'Come leggere la definizione di una funzione (prototipo)',
  ),
  3 => 
  array (
    0 => 'about.phpversions.php',
    1 => 'Le versioni di PHP documentate in questo manuale',
  ),
  4 => 
  array (
    0 => 'about.more.php',
    1 => 'Come trovare pi&ugrave; informazioni su PHP',
  ),
  5 => 
  array (
    0 => 'about.howtohelp.php',
    1 => 'Come aiutare a migliorare la documentazione',
  ),
  6 => 
  array (
    0 => 'about.generate.php',
    1 => 'Come generiamo i diversi formati',
  ),
  7 => 
  array (
    0 => 'about.translations.php',
    1 => 'Traduzioni',
  ),
);
$TOC_DEPRECATED = array (
);
$PARENTS = array (
  0 => 
  array (
    0 => 'appendices.php',
    1 => 'Appendici',
  ),
  1 => 
  array (
    0 => 'index.php',
    1 => 'Manuale PHP',
  ),
);