mirror_php/moodle
1
0
Fork 0
mirror of https://github.com/moodle/moodle.git synced 2025-01-19 06:18:28 +01:00
Code Issues Projects Releases Wiki Activity

MDL-39778 badges: Fix missing library error in delete_course()

Browse Source
This commit is contained in:
Yuliya Bozhko 2013-05-22 10:28:51 +12:00 committed by Damyon Wiese
parent 047a79baed
commit 59c6b212f5
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
lib/moodlelib.php
View File

@ -4724,9 +4724,6 @@ function delete_course($courseorid, $showfeedback = true) {
return false;
}
// Handle course badges.
badges_handle_course_deletion($courseid);
// make the course completely empty
remove_course_contents($courseid, $showfeedback);
@ -4768,6 +4765,7 @@ function delete_course($courseorid, $showfeedback = true) {
*/
function remove_course_contents($courseid, $showfeedback = true, array $options = null) {
global $CFG, $DB, $OUTPUT;
require_once($CFG->libdir.'/badgeslib.php');
require_once($CFG->libdir.'/completionlib.php');
require_once($CFG->libdir.'/questionlib.php');
require_once($CFG->libdir.'/gradelib.php');
@ -4776,6 +4774,9 @@ function remove_course_contents($courseid, $showfeedback = true, array $options
require_once($CFG->dirroot.'/comment/lib.php');
require_once($CFG->dirroot.'/rating/lib.php');
// Handle course badges.
badges_handle_course_deletion($courseid);
// NOTE: these concatenated strings are suboptimal, but it is just extra info...
$strdeleted = get_string('deleted').' - ';