Allow to find files where file extension is not important

diff --git a/inc/functions.php b/inc/functions.php
index 45ef7fce2cb93b47e53e3ccc018d324cddd350b0..c227a23925e6d5069a84a1108ea06b4c353727d4 100644 (file)
--- 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);
                }