<?php
$TOC = array (
  0 => 
  array (
    0 => 'about.formats.php',
    1 => 'Formats',
  ),
  1 => 
  array (
    0 => 'about.notes.php',
    1 => '&Agrave; propos des notes utilisateurs',
  ),
  2 => 
  array (
    0 => 'about.prototypes.php',
    1 => 'Comment lire la d&eacute;finition d\'une fonction (prototype)',
  ),
  3 => 
  array (
    0 => 'about.phpversions.php',
    1 => 'Versions de PHP document&eacute;es dans ce manuel',
  ),
  4 => 
  array (
    0 => 'about.more.php',
    1 => 'O&ugrave; trouver plus d\'informations sur PHP ?',
  ),
  5 => 
  array (
    0 => 'about.howtohelp.php',
    1 => 'Comment aider &agrave; l\'am&eacute;lioration de la documentation ?',
  ),
  6 => 
  array (
    0 => 'about.generate.php',
    1 => 'Comment sont g&eacute;n&eacute;r&eacute;es les documentations',
  ),
  7 => 
  array (
    0 => 'about.translations.php',
    1 => 'Traductions',
  ),
);
$TOC_DEPRECATED = array (
);
$PARENTS = array (
  0 => 
  array (
    0 => 'appendices.php',
    1 => 'Annexes',
  ),
  1 => 
  array (
    0 => 'index.php',
    1 => 'Pr&eacute;face',
  ),
);