From d1cf572ce023d55e2dbb810d1d6f9301c3d4e3db Mon Sep 17 00:00:00 2001 From: =?utf8?q?Roland=20H=C3=A4der?= Date: Wed, 24 Apr 2013 02:47:56 +0000 Subject: [PATCH] Allow to find files where file extension is not important --- inc/functions.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/inc/functions.php b/inc/functions.php index 45ef7fce2c..c227a23925 100644 --- a/inc/functions.php +++ b/inc/functions.php @@ -1865,7 +1865,7 @@ function getArrayFromDirectory ($baseDir, $prefix, $fileIncludeDirs = FALSE, $ad // We found .php file but should not search for them, why? reportBug(__FUNCTION__, __LINE__, 'We should find files with extension=' . $extension . ', but we found a PHP script. (baseFile=' . $baseFile . ')'); } - } elseif ($fileExtension == $extension) { + } elseif (($fileExtension == $extension) || (empty($extension))) { // Other, generic file found array_push($foundMatches, $fileName); } -- 2.39.5