array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'es', ), 'this' => array ( 0 => 'migration73.new-functions.php', 1 => 'Nuevas funciones', ), 'up' => array ( 0 => 'migration73.php', 1 => 'Migración de PHP 7.2.x a PHP 7.3.x', ), 'prev' => array ( 0 => 'migration73.new-features.php', 1 => 'Nuevas características', ), 'next' => array ( 0 => 'migration73.constants.php', 1 => 'Nuevas constantes globales', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'es', 'path' => 'appendices/migration73/new-functions.xml', ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); ?>