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 "