Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichal Čihař <michal@cihar.com>2017-03-15 18:18:05 +0300
committerMichal Čihař <michal@cihar.com>2017-03-15 18:18:05 +0300
commit8f640b90302da6f8b5a635d473b4919a42b1e6ec (patch)
tree50d05130b216363b8f396b4888e1e5f03c29d0b2 /prefs_manage.php
parent49b497bd1036df2886a7cfb7eeb9a10755e8a303 (diff)
Do not point users to setup when it is disabled
Fixes #13084 Signed-off-by: Michal Čihař <michal@cihar.com>
Diffstat (limited to 'prefs_manage.php')
-rw-r--r--prefs_manage.php3
1 files changed, 2 insertions, 1 deletions
diff --git a/prefs_manage.php b/prefs_manage.php
index c112184827..faed8f9c3b 100644
--- a/prefs_manage.php
+++ b/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>