Added support for phpMyAdmin plugin.

diff --git a/admin/settings/first.php b/admin/settings/first.php
index 15811e3292201b4f732024557bfbf4eac41e8eaa..f4d4ee9ef5e0fdc29c7dbf2b5bf5f6f6d536848f 100644 (file)
--- a/admin/settings/first.php
+++ b/admin/settings/first.php
@@ -20,6 +20,10 @@ $ADMIN->add('plugins', new admin_externalpage('filtermanagement', get_string('fi
 $ADMIN->add('plugins', new admin_externalpage('blockmanagement', get_string('blockmanagement', 'admin'), $CFG->wwwroot . '/admin/blocks.php'));
 $ADMIN->add('plugins', new admin_externalpage('modulemanagement', get_string('modulemanagement', 'admin'), $CFG->wwwroot . '/admin/modules.php'));
 
+if (file_exists($CFG->dirroot . '/' . $CFG->admin . '/mysql/frame.php')) {
+    $ADMIN->add('root', new admin_externalpage('database', get_string('managedatabase'), $CFG->wwwroot . '/' . $CFG->admin . '/mysql/frame.php'));
+}
+
 // the following is TEMPORARY
 
 $ADMIN->add('root', new admin_category('unsorted', 'Unsorted', 999));