diff --git a/app/extensions/extensions.php b/app/extensions/extensions.php index aea389bc74..ffe73b3f04 100644 --- a/app/extensions/extensions.php +++ b/app/extensions/extensions.php @@ -191,7 +191,7 @@ echo "\n"; echo "\n"; - if (is_array($extensions)) { + if (is_array($extensions) && @sizeof($extensions) != 0) { foreach($extensions as $row) { if (permission_exists('extension_edit')) { $tr_link = "href='extension_edit.php?id=".urlencode($row['extension_uuid']).(is_numeric($page) ? '&page='.$page : null)."'"; @@ -264,7 +264,7 @@ } } - if (is_array($extensions)) { + if (is_array($extensions) && @sizeof($extensions) != 0) { echo "\n"; echo " \n"; if (permission_exists('extension_add')) { @@ -292,7 +292,7 @@ echo "

".((is_array($extensions)) ? "

" : null); // check or uncheck all checkboxes - if (sizeof($ext_ids) > 0) { + if (is_array($ext_ids) && @sizeof($ext_ids) != 0) { echo "