Added support for phpMyAdmin plugin.

This commit is contained in:
vinkmar 2006-08-24 06:44:35 +00:00
parent 7468981e67
commit 236c08a56f

View File

@ -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));