diff --git a/admin/settings/server.php b/admin/settings/server.php index 7fdb9f5c521..c9827199b00 100644 --- a/admin/settings/server.php +++ b/admin/settings/server.php @@ -254,8 +254,16 @@ $temp->add(new admin_setting_configselect('memcachedpconn', get_string('memcache '1' => get_string('yes')))); $ADMIN->add('server', $temp); -if (file_exists("$CFG->dirroot/$CFG->admin/mysql/frame.php")) { - $ADMIN->add('server', new admin_externalpage('database', get_string('managedatabase'), "$CFG->wwwroot/$CFG->admin/mysql/frame.php")); +$dbfamily = $DB->get_dbfamily(); + +if ($dbfamily === 'mysql') { + if (file_exists("$CFG->dirroot/$CFG->admin/mysql/frame.php")) { + $ADMIN->add('server', new admin_externalpage('database', get_string('managedatabase'), "$CFG->wwwroot/$CFG->admin/mysql/frame.php")); + } +} else if ($dbfamily === 'postgres') { + if (file_exists("$CFG->dirroot/$CFG->admin/pgsql/frame.php")) { + $ADMIN->add('server', new admin_externalpage('database', get_string('managedatabase'), "$CFG->wwwroot/$CFG->admin/pgsql/frame.php")); + } } } // end of speedup