From 39b977bd809334f54e3a99f8b732d8e73786e85f Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Sun, 6 Apr 2025 07:28:54 +0200 Subject: [PATCH] AdminerConfig: Configure using adminer.css --- plugins/config.php | 22 ++++++++++++++++++++-- 1 file changed, 20 insertions(+), 2 deletions(-) diff --git a/plugins/config.php b/plugins/config.php index bd5a7b8d..1b217d0b 100644 --- a/plugins/config.php +++ b/plugins/config.php @@ -20,11 +20,12 @@ class AdminerConfig extends Adminer\Plugin { Adminer\page_header($this->lang('Configuration')); $config = Adminer\adminer()->config(); if (!$config) { + // this plugin itself defines config() so this branch is not currently used echo "

" . $this->lang('Only some plugins support configuration, e.g. %s.', 'menu-links') . "\n"; } else { echo "

\n"; echo "\n"; - foreach ($config as $title => $html) { + foreach (array_reverse($config) as $title => $html) { // Plugins::$append actually prepends echo "
$title$html\n"; } echo "
\n"; @@ -37,8 +38,22 @@ class AdminerConfig extends Adminer\Plugin { } } + function config() { + $options = array( + '' => $this->lang('Use %s if exists', "adminer.css"), + 'builtin' => $this->lang('Use builtin design'), + ); + return array($this->lang('Design') => Adminer\html_radios('design', $options, Adminer\get_setting("design", "adminer_config"), "
")); + } + + function css() { + if (Adminer\get_setting("design", "adminer_config") == "builtin") { + return array(); + } + } + function navigation() { - if (Adminer\connection()) { + if (Adminer\connection()) { // don't display on login page $link = substr(preg_replace('~\b(db|ns)=[^&]*&~', '', Adminer\ME), 0, -1); ?>