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-07-10 16:00:36 +0300
committerMichal Čihař <michal@cihar.com>2017-07-10 16:00:36 +0300
commitdc420e2872a881c947ca3f09f20eb7e39398593d (patch)
treec44d736e5a79220249a902bac809c21e6cdfd3ba /prefs_manage.php
parentf8b5fd14526c13544e1bd55ba8aed901eb3a8f34 (diff)
parentbd2a0ec3079cd5dc9595622cdd641ae503ff91b2 (diff)
Merge branch 'QA_4_7'
Diffstat (limited to 'prefs_manage.php')
-rw-r--r--prefs_manage.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/prefs_manage.php b/prefs_manage.php
index 8d85950f00..5eedd881ab 100644
--- a/prefs_manage.php
+++ b/prefs_manage.php
@@ -286,7 +286,7 @@ echo '</div>'
, __('Go') . '" />'
, '</form>'
, '</div>';
-if (file_exists('setup/index.php') && ! file_exists(CONFIG_FILE)) {
+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)