From 6a64c7771b12cbf7a779d065380931fb941b4210 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Sun, 23 Mar 2025 18:34:13 +0100 Subject: [PATCH] Plugins: Display doc-comments at server overview --- adminer/include/connect.inc.php | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/adminer/include/connect.inc.php b/adminer/include/connect.inc.php index 5c575954..5f2f2e76 100644 --- a/adminer/include/connect.inc.php +++ b/adminer/include/connect.inc.php @@ -45,7 +45,13 @@ if ( echo "

" . lang('%s version: %s through PHP extension %s', $drivers[DRIVER], "" . h($connection->server_info) . "", "$connection->extension") . "\n"; echo "

" . lang('Logged as: %s', "" . h(logged_user()) . "") . "\n"; if (isset($adminer->plugins) && is_array($adminer->plugins)) { - echo "

" . lang('Loaded plugins') . ": " . implode(", ", array_map('get_class', $adminer->plugins)) . "\n"; + echo "

" . lang('Loaded plugins') . ":\n

\n"; } $databases = $adminer->databases(); if ($databases) { -- 2.39.5