<?php
$TOC = array (
  0 => 
  array (
    0 => 'ui-executor.construct.php',
    1 => 'UI\\Executor::__construct',
  ),
  1 => 
  array (
    0 => 'ui-executor.kill.php',
    1 => 'UI\\Executor::kill',
  ),
  2 => 
  array (
    0 => 'ui-executor.onexecute.php',
    1 => 'UI\\Executor::onExecute',
  ),
  3 => 
  array (
    0 => 'ui-executor.setinterval.php',
    1 => 'UI\\Executor::setInterval',
  ),
);
$TOC_DEPRECATED = array (
);
$PARENTS = array (
  0 => 
  array (
    0 => 'book.ui.php',
    1 => 'UI',
  ),
  1 => 
  array (
    0 => 'refs.ui.php',
    1 => 'Extensions GUI',
  ),
  2 => 
  array (
    0 => 'funcref.php',
    1 => 'R&eacute;f&eacute;rence des fonctions',
  ),
  3 => 
  array (
    0 => 'index.php',
    1 => 'Pr&eacute;face',
  ),
);