]> git.joonet.de Git - adminer.git/commitdiff
Don't display Loaded plugins with only driver plugins
authorJakub Vrana <jakub@vrana.cz>
Thu, 10 Apr 2025 16:56:38 +0000 (18:56 +0200)
committerJakub Vrana <jakub@vrana.cz>
Thu, 10 Apr 2025 16:56:38 +0000 (18:56 +0200)
adminer/include/connect.inc.php

index 3009b7c5985ff8d3c804b349b7dffb6020ae312e..82fe44bdb9935ddaa0fc72ed14f92ac29f5daa39 100644 (file)
@@ -89,7 +89,7 @@ if (
                        echo script("tableCheck();");
                }
 
-               if (isset(adminer()->plugins) && is_array(adminer()->plugins)) {
+               if (!empty(adminer()->plugins)) {
                        echo "<div class='plugins'>\n";
                        echo "<h3>" . lang('Loaded plugins') . "</h3>\n<ul>\n";
                        foreach (adminer()->plugins as $plugin) {