diff --git a/admin/settings/first.php b/admin/settings/first.php index 15811e32922..f4d4ee9ef5e 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));