diff options
author | Michal Čihař <michal@cihar.com> | 2017-07-10 15:54:05 +0300 |
---|---|---|
committer | Michal Čihař <michal@cihar.com> | 2017-07-10 15:59:43 +0300 |
commit | bd2a0ec3079cd5dc9595622cdd641ae503ff91b2 (patch) | |
tree | 191452897f8e432887abdc288d96546f6a26ba48 /prefs_manage.php | |
parent | 91d3d0953e2c9290b38e2a18180bc2ed5b9cb100 (diff) |
Wrap file_exists calls with @
It can produce warnings in case open_basedir is enabled.
Fixes #13467
Signed-off-by: Michal Čihař <michal@cihar.com>
Diffstat (limited to 'prefs_manage.php')
-rw-r--r-- | prefs_manage.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prefs_manage.php b/prefs_manage.php index faed8f9c3b..5341201bbd 100644 --- a/prefs_manage.php +++ b/prefs_manage.php @@ -285,7 +285,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) |