+/*
+ Copies file from base to target directory, restoring subdirectories
+ if needed.
+*/
+function copy_file($file, $from, $to)
+{
+
+ if (!is_dir(dirname($file=='.' ? $to : ($to.'/'.$file)))) {
+ if (!copy_file(dirname($file), null, $to))
+ return false;
+ }
+ if (!$from) {
+ // error_log( 'dodanie katalogu '.$to.'/'.$file);
+ return @mkdir($file=='.' ? $to : ($to.'/'.$file));
+ }
+ else {
+ // error_log( 'skopiowanie '.$to.'/'.$file);
+ return @copy($from.'/'.$file, $to.'/'.$file);
+ }
+}
+/*
+ Search for file, looking first for company specific version, then for
+ version provided by any extension module, finally in main FA directory.
+ Also adds include path for any related files, and sets $local_path_to_root
+ to enable local translation domains.
+
+ Returns found file path or null.
+*/
+function find_custom_file($rep)