From 705a01eb7a68a4b24da24347266e8ca330705562 Mon Sep 17 00:00:00 2001
From: Nate <github@najo.com>
Date: Sat, 2 Nov 2019 21:12:12 -0600
Subject: [PATCH] Update extensions.php

---
 app/extensions/extensions.php | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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 "</td>\n";
 	echo "</tr>\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 "<tr>\n";
 		echo "	<td colspan='20' class='list_control_icons'>\n";
 		if (permission_exists('extension_add')) {
@@ -292,7 +292,7 @@
 	echo "<br /><br />".((is_array($extensions)) ? "<br /><br />" : null);
 
 	// check or uncheck all checkboxes
-	if (sizeof($ext_ids) > 0) {
+	if (is_array($ext_ids) && @sizeof($ext_ids) != 0) {
 		echo "<script>\n";
 		echo "	function check(what) {\n";
 		echo "		document.getElementById('chk_all').checked = (what == 'all') ? true : false;\n";
@@ -314,4 +314,4 @@
 //show the footer
 	require_once "resources/footer.php";
 
-?>
+?>
\ No newline at end of file