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