diff options
author | Michal Čihař <michal@cihar.com> | 2017-03-15 18:18:05 +0300 |
---|---|---|
committer | Michal Čihař <michal@cihar.com> | 2017-03-15 18:18:05 +0300 |
commit | 8f640b90302da6f8b5a635d473b4919a42b1e6ec (patch) | |
tree | 50d05130b216363b8f396b4888e1e5f03c29d0b2 /prefs_manage.php | |
parent | 49b497bd1036df2886a7cfb7eeb9a10755e8a303 (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.php | 3 |
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> |