mirror/webgui
1
0
Fork 0
mirror of https://github.com/unraid/webgui.git synced 2026-05-12 15:20:29 -05:00
Code Issues Packages Projects Releases Wiki Activity

PHP8 support

Browse Source
This commit is contained in:
bergware
2023-01-18 22:31:16 +01:00
parent a448975187
commit 17884cf47d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/dynamix/include/FileTree.php
+1 -1
View File
@@ -63,7 +63,7 @@ if (is_low($rootdir) && is_dir($rootdir)) {
foreach ($names as $file) if (is_file($rootdir.$file)) {
$htmlRel = htmlspecialchars($rootdir.$file);
$htmlName = htmlspecialchars($file);
$ext = mb_strtolower(pathinfo($file)['extension']);
$ext = mb_strtolower(pathinfo($file)['extension']??'');
foreach ($filters as $filter) if (empty($filter)||$ext==$filter) {
if (empty($match)||preg_match("/$match/",$file)) echo "<li class='file ext_$ext'>$checkbox<a href='#' rel=\"$htmlRel\">$htmlName</a></li>";
}