mirror/webgui
1
0
Fork 0
mirror of https://github.com/unraid/webgui.git synced 2026-01-24 10:28:39 -06:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1305 from Squidly271/patch-55

Browse Source 
PHP8 update
This commit is contained in:
tom mortensen
2023-04-18 09:00:44 -07:00
committed by GitHub
parent 8eb1e87067 f434125d61
commit de5af1b403
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
plugins/dynamix.plugin.manager/include/ShowPlugins.php
View File

@@ -202,5 +202,5 @@ foreach (glob($plugins,GLOB_NOSORT) as $plugin_link) {
}
}
if ($empty) echo "<tr><td colspan='6' style='text-align:center;padding-top:12px'><i class='fa fa-check-square-o icon'></i> "._('No plugins installed')."</td><tr>";
if (!$init && !$os) echo "\0".$updates;
if (!$init && !($os??false)) echo "\0".$updates;
?>