| // +----------------------------------------------------------------------+ // // $Id$ // /** * Agrega un path al include path. * * @param string $ip Include path a agregar antes del actual. */ function prepend_include_path($ip) { $old = ini_get('include_path'); ini_set('include_path', "$ip:$old"); } ?>