CONTRIB-849 phpPgAdmin integration hook; merged from MOODLE_19_STABLE

diff --git a/admin/settings/server.php b/admin/settings/server.php
index 7fdb9f5c521080dd5901eac934b29e66fc49d8f9..c9827199b0068d96f8834bf61157a1995ed3d249 100644 (file)
--- 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