Do not point users to setup when it is disabled

Fixes #13084

Signed-off-by: Michal Čihař <michal@cihar.com>

ChangeLog

@@ -100,6 +100,7 @@ phpMyAdmin - ChangeLog
 - issue #13029 Fixed table tracking for nested table groups
 - issue #13053 Fixed broken links in setup
 - issue #12708 Removed phpMyAdmin version from User-Agent header
+- issue #13084 Do not point users to setup when it is disabled
 
 4.6.6 (2017-01-23)
 - issue #12759 Fix Notice regarding 'Undefined index: old_usergroup'

prefs_manage.php

@@ -285,9 +285,10 @@ echo '</div>'
     , __('Go') . '" />'
     , '</form>'
     , '</div>';
-if (file_exists('setup/index.php')) {
+if (file_exists('setup/index.php') && ! file_exists(CONFIG_FILE)) {
             // show only if setup script is available, allows to disable this message
             // by simply removing setup directory
+            // Also do not show in config exists (and setup would refuse to work)
             ?>
             <div class="group">
             <h2><?php echo __('More settings') ?></h2>