function FindFile($file, $missing_okay = false, $slashify = false) { static $finder; if (!isset($finder)) { $finder = new FileFinder(); // remove "/lib" from dirname(__FILE__) $wikidir = preg_replace('/.lib$/', '', dirname(__FILE__)); // let the system favor its local pear? $finder->_append_to_include_path(dirname(__FILE__) . "/pear"); $finder->_prepend_to_include_path($wikidir); // Don't override existing INCLUDE_PATH config. if (!defined("INCLUDE_PATH")) { define("INCLUDE_PATH", implode($finder->_get_ini_separator(), $finder->_path)); } } $s = $finder->findFile($file, $missing_okay); if ($slashify) { $s = $finder->slashifyPath($s); } return $s; }