Wrap Loaded plugins into div

diff --git a/adminer/include/connect.inc.php b/adminer/include/connect.inc.php
index ef0173fc81d32cbfdbcb0919ab2c432870e3580f..49179006e639b3d06d82d55f6fc00756b2adafed 100644 (file)
--- a/adminer/include/connect.inc.php
+++ b/adminer/include/connect.inc.php
@@ -45,12 +45,14 @@ if (
                echo "<p>" . lang('%s version: %s through PHP extension %s', get_driver(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 (isset(adminer()->plugins) && is_array(adminer()->plugins)) {
+                       echo "<div class='plugins'>\n";
                        echo "<p>" . lang('Loaded plugins') . ":\n<ul>\n";
                        foreach (adminer()->plugins as $plugin) {
                                $reflection = new \ReflectionObject($plugin);
                                echo "<li><b>" . get_class($plugin) . "</b>" . h(preg_match('~^/[\s*]+(.+)~', $reflection->getDocComment(), $match) ? ": $match[1]" : "") . "\n";
                        }
                        echo "</ul>\n";
+                       echo "</div>\n";
                }
                $databases = adminer()->databases();
                if ($databases) {