<?php
$TOC = array (
  0 => 
  array (
    0 => 'language.basic-syntax.php',
    1 => 'Sintassi Fondamentale',
  ),
  1 => 
  array (
    0 => 'language.types.php',
    1 => 'Tipi di dati',
  ),
  2 => 
  array (
    0 => 'language.variables.php',
    1 => 'Variables',
  ),
  3 => 
  array (
    0 => 'language.constants.php',
    1 => 'Costanti',
  ),
  4 => 
  array (
    0 => 'language.expressions.php',
    1 => 'Expressions',
  ),
  5 => 
  array (
    0 => 'language.operators.php',
    1 => 'Operatori',
  ),
  6 => 
  array (
    0 => 'language.control-structures.php',
    1 => 'Strutture di controllo',
  ),
  7 => 
  array (
    0 => 'language.functions.php',
    1 => 'Funzioni',
  ),
  8 => 
  array (
    0 => 'language.oop5.php',
    1 => 'Classi e Oggetti',
  ),
  9 => 
  array (
    0 => 'language.namespaces.php',
    1 => 'Namespaces',
  ),
  10 => 
  array (
    0 => 'language.enumerations.php',
    1 => 'Enumerations',
  ),
  11 => 
  array (
    0 => 'language.errors.php',
    1 => 'Errors',
  ),
  12 => 
  array (
    0 => 'language.exceptions.php',
    1 => 'Exceptions',
  ),
  13 => 
  array (
    0 => 'language.fibers.php',
    1 => 'Fibers',
  ),
  14 => 
  array (
    0 => 'language.generators.php',
    1 => 'Generators',
  ),
  15 => 
  array (
    0 => 'language.attributes.php',
    1 => 'Attributes',
  ),
  16 => 
  array (
    0 => 'language.references.php',
    1 => 'Spiegazioni sui riferimenti',
  ),
  17 => 
  array (
    0 => 'reserved.variables.php',
    1 => 'Predefined Variables',
  ),
  18 => 
  array (
    0 => 'reserved.exceptions.php',
    1 => 'Eccezioni Predefinite',
  ),
  19 => 
  array (
    0 => 'reserved.interfaces.php',
    1 => 'Interfacce e Classi predefinite',
  ),
  20 => 
  array (
    0 => 'reserved.attributes.php',
    1 => 'Predefined Attributes',
  ),
  21 => 
  array (
    0 => 'context.php',
    1 => 'Opzioni e parametri di contesto',
  ),
  22 => 
  array (
    0 => 'wrappers.php',
    1 => 'Supported Protocols and Wrappers',
  ),
);
$TOC_DEPRECATED = array (
);
$PARENTS = array (
  0 => 
  array (
    0 => 'index.php',
    1 => 'Manuale PHP',
  ),
);