From ea01c7d2a7f91c874e5ad79b5bc9e9a53a36eb25 Mon Sep 17 00:00:00 2001
From: Abdulrahman <saanina@gmail.com>
Date: Fri, 19 Apr 2019 23:55:21 +0300
Subject: [PATCH] fix

---
 includes/adm/j_plugins.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/adm/j_plugins.php b/includes/adm/j_plugins.php
index 8991841..2c7551c 100755
--- a/includes/adm/j_plugins.php
+++ b/includes/adm/j_plugins.php
@@ -139,7 +139,7 @@ switch ($case):
         }
         @closedir($dh);
 
-        $no_plugins = TRUE;
+        $no_plugins = sizeof($available_plugins) == 0 && sizeof($installed_plugins) == 0;
 
         $stylee = "admin_plugins";