diff --git a/mod/assign/settings.php b/mod/assign/settings.php index 7860b648ef6..187bc9a571a 100644 --- a/mod/assign/settings.php +++ b/mod/assign/settings.php @@ -36,6 +36,9 @@ $ADMIN->add('assignmentplugins', new admin_category('assignfeedbackplugins', $ADMIN->add('assignfeedbackplugins', new assign_admin_page_manage_assign_plugins('assignfeedback')); +assign_plugin_manager::add_admin_assign_plugin_settings('assignsubmission', $ADMIN, $settings, $module); +assign_plugin_manager::add_admin_assign_plugin_settings('assignfeedback', $ADMIN, $settings, $module); + if ($ADMIN->fulltree) { $menu = array(); foreach (get_plugin_list('assignfeedback') as $type => $notused) { @@ -54,4 +57,4 @@ if ($ADMIN->fulltree) { new lang_string('configshowrecentsubmissions', 'assign'), 0)); $settings->add(new admin_setting_configcheckbox('assign/submissionreceipts', get_string('sendsubmissionreceipts', 'mod_assign'), get_string('sendsubmissionreceipts_help', 'mod_assign'), 1)); -} \ No newline at end of file +}