Plugins: Fix displaying with legacy AdminerPlugin

diff --git a/adminer/include/connect.inc.php b/adminer/include/connect.inc.php
index 74f70ebe44bdd0cb7149b7e228cdfcf3ebcfa3a3..5c575954047b5394f85dda04afe65c352069921e 100644 (file)
--- a/adminer/include/connect.inc.php
+++ b/adminer/include/connect.inc.php
@@ -44,7 +44,7 @@ if (
                }
                echo "<p>" . lang('%s version: %s through PHP extension %s', $drivers[DRIVER], "<b>" . h($connection->server_info) . "</b>", "<b>$connection->extension</b>") . "\n";
                echo "<p>" . lang('Logged as: %s', "<b>" . h(logged_user()) . "</b>") . "\n";
-               if (is_array($adminer->plugins)) {
+               if (isset($adminer->plugins) && is_array($adminer->plugins)) {
                        echo "<p>" . lang('Loaded plugins') . ": <b>" . implode("</b>, <b>", array_map('get_class', $adminer->plugins)) . "</b>\n";
                }
                $databases = $adminer->databases();