diff --git a/lib/filelib.php b/lib/filelib.php index 7da36e01e4c..a3976ba3368 100644 --- a/lib/filelib.php +++ b/lib/filelib.php @@ -1928,7 +1928,7 @@ function file_get_typegroup($element, $groups) { } $result = array_merge($result, $cached[$element][$group]); } - return array_unique($result); + return array_values(array_unique($result)); } /**