+ global $installed_extensions, $path_to_root, $local_path_to_root;
+
+ // customized per company version
+ $path = company_path();
+ $file = $path.$rep;
+ if (file_exists($file)) {
+ // add local include path
+ $local_path_to_root = $path;
+ set_include_path(dirname($file).PATH_SEPARATOR.get_include_path());
+ return $file;
+ }
+ // file added by active extension modules
+ if (count($installed_extensions) > 0)
+ {
+ $extensions = $installed_extensions;
+ foreach ($extensions as $ext)
+ if (($ext['active'] && $ext['type'] == 'extension')) {
+ $path = $path_to_root.'/'.$ext['path'];
+ $file = $path.$rep;
+ if (file_exists($file)) {
+ set_include_path($path.PATH_SEPARATOR.get_include_path());
+ $local_path_to_root = $path;
+ return $file;
+ }
+ }