| // +----------------------------------------------------------------------+ // // $Id$ /** * Replace restore_include_path() * * @category PHP * @package PHP_Compat * @link http://php.net/function.restore_include_path * @author Stephan Schmidt * @version $Revision: 1.4 $ * @since PHP 4.3.0 */ if (!function_exists('restore_include_path')) { function restore_include_path() { return ini_restore('include_path'); } } ?>