From b2d8b4138866fcd0f93278ea51fe40504b3df414 Mon Sep 17 00:00:00 2001 From: Daku Date: Wed, 12 Aug 2015 06:12:53 +0100 Subject: [PATCH] spaces > tabs --- core/util.inc.php | 56 +++++++++++++++++++++++------------------------ 1 file changed, 28 insertions(+), 28 deletions(-) diff --git a/core/util.inc.php b/core/util.inc.php index b05cc5d0..ec291222 100644 --- a/core/util.inc.php +++ b/core/util.inc.php @@ -1257,39 +1257,39 @@ function full_copy($source, $target) { * @return array file list */ function list_files(/*string*/ $base, $_sub_dir="") { - assert(is_dir($base)); + assert(is_dir($base)); - $file_list = array(); + $file_list = array(); - $files = array(); - $dir = opendir("$base/$_sub_dir"); - while($f = readdir($dir)) { - $files[] = $f; - } - closedir($dir); - sort($files); + $files = array(); + $dir = opendir("$base/$_sub_dir"); + while($f = readdir($dir)) { + $files[] = $f; + } + closedir($dir); + sort($files); - foreach($files as $filename) { - $full_path = "$base/$_sub_dir/$filename"; + foreach($files as $filename) { + $full_path = "$base/$_sub_dir/$filename"; - if(is_link($full_path)) { - // ignore - } - else if(is_dir($full_path)) { - if($filename == "." || $filename == "..") { - $file_list = array_merge( - $file_list, - list_files($base, "$_sub_dir/$filename") - ); - } - } - else { - $full_path = str_replace("//", "/", $full_path); - $file_list[] = $full_path; - } - } + if(is_link($full_path)) { + // ignore + } + else if(is_dir($full_path)) { + if($filename == "." || $filename == "..") { + $file_list = array_merge( + $file_list, + list_files($base, "$_sub_dir/$filename") + ); + } + } + else { + $full_path = str_replace("//", "/", $full_path); + $file_list[] = $full_path; + } + } - return $file_list; + return $file_list; }