From 236c08a56f6645ddc010cebfa1a3f4cf9b5e2c7f Mon Sep 17 00:00:00 2001 From: vinkmar Date: Thu, 24 Aug 2006 06:44:35 +0000 Subject: [PATCH] Added support for phpMyAdmin plugin. --- admin/settings/first.php | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/admin/settings/first.php b/admin/settings/first.php index 15811e3292..f4d4ee9ef5 100644 --- 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)); -- 2.39.5