From: Richard Kapička Date: Fri, 4 Apr 2025 13:56:45 +0000 (+0200) Subject: Wrap Loaded plugins into div X-Git-Tag: v5.2.0~61 X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=60ea595cdcdde98fccee069c4bd39b667f3b76a8;p=adminer.git Wrap Loaded plugins into div --- diff --git a/adminer/include/connect.inc.php b/adminer/include/connect.inc.php index ef0173fc..49179006 100644 --- a/adminer/include/connect.inc.php +++ b/adminer/include/connect.inc.php @@ -45,12 +45,14 @@ if ( echo "

" . lang('%s version: %s through PHP extension %s', get_driver(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 "

\n"; echo "

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

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