diff --git a/helpers.inc.php b/helpers.inc.php index c0af76d..c35ad7f 100644 --- a/helpers.inc.php +++ b/helpers.inc.php @@ -87,8 +87,6 @@ function find_files(string $dir, array $fnmatch_patterns = []) : array return $results; } - -//obsolete, use find_files instead function scan_files_rec(array $dirs, array $only_extensions = [], int $mode = 1) : array { $files = array(); @@ -168,7 +166,7 @@ function json_make_pretty(string $json) : string return prettyJSON($json); } -function need_to_regen(string $file, array $deps, bool $debug = false) : bool +function need_to_regen(string $file, iterable $deps, bool $debug = false) : bool { if(!is_file($file)) { @@ -1195,7 +1193,7 @@ function are_you_sure_ask() : bool return $resp == "YES"; } -function names_hash_changed(string $crc_file, array $names) : bool +function names_hash_changed(string $crc_file, iterable $names) : bool { $ctx = hash_init('crc32'); foreach($names as $name)