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;
}
function _getMapFromFile($filename)
{
if (defined('WARN_NONPUBLIC_INTERWIKIMAP') and WARN_NONPUBLIC_INTERWIKIMAP) {
$error_html = sprintf(_("Loading InterWikiMap from external file %s."), $filename);
trigger_error($error_html, E_USER_NOTICE);
}
if (!file_exists($filename)) {
$finder = new FileFinder();
$filename = $finder->findFile(INTERWIKI_MAP_FILE);
}
@($fd = fopen($filename, "rb"));
@($data = fread($fd, filesize($filename)));
@fclose($fd);
return $data;
}
