From 7fb83314328097710d462b28f62710319bc61ee3 Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Sat, 7 Sep 2002 14:56:19 +0000
Subject: [PATCH] Add a link if a "manage database" directory exists

---
 admin/index.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/admin/index.php b/admin/index.php
index 2f7b3320d5..8c5b0d9c6f 100644
--- a/admin/index.php
+++ b/admin/index.php
@@ -202,6 +202,9 @@
                          "<P><A HREF=\"../course/log.php?id=$site->id\">".get_string("sitelogs")."</A></P>".
                          "<P><A HREF=\"../theme/index.php\">".get_string("choosetheme")."</A></P>".
                          "<P><A HREF=\"lang.php\">".get_string("checklanguage")."</A></P>";
+    if (file_exists("$CFG->dirroot/admin/$CFG->dbtype")) {
+        $table->data[0][0] .= "<P><A HREF=\"$CFG->dbtype/\">".get_string("managedatabase")."</A></P>";
+    }
     $table->data[0][1] = "<P><A HREF=\"../course/edit.php\">".get_string("addnewcourse")."</A></P>".
                          "<P><A HREF=\"../course/teacher.php\">".get_string("assignteachers")."</A></P>".
                          "<P><A HREF=\"../course/delete.php\">".get_string("deletecourse")."</A></P>";
-- 
2.39.5