<?php
$TOC = array (
  0 => 
  array (
    0 => 'context.socket.php',
    1 => 'Options de contexte des sockets',
  ),
  1 => 
  array (
    0 => 'context.http.php',
    1 => 'Options de contexte HTTP',
  ),
  2 => 
  array (
    0 => 'context.ftp.php',
    1 => 'Options de contexte FTP',
  ),
  3 => 
  array (
    0 => 'context.ssl.php',
    1 => 'Options de contexte SSL',
  ),
  4 => 
  array (
    0 => 'context.phar.php',
    1 => 'Les options du contexte Phar',
  ),
  5 => 
  array (
    0 => 'context.params.php',
    1 => 'Param&egrave;tres de contexte',
  ),
  6 => 
  array (
    0 => 'context.zip.php',
    1 => 'Options de contexte Zip',
  ),
  7 => 
  array (
    0 => 'context.zlib.php',
    1 => 'Options de contexte Zlib',
  ),
);
$TOC_DEPRECATED = array (
);
$PARENTS = array (
  0 => 
  array (
    0 => 'langref.php',
    1 => 'R&eacute;f&eacute;rence du langage',
  ),
  1 => 
  array (
    0 => 'index.php',
    1 => 'Pr&eacute;face',
  ),
);