PHP FileFinder::_get_ini_separator示例

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;
}