diff --git a/lib/moodlelib.php b/lib/moodlelib.php
index 5c5a31efcde..e150041b542 100644
--- a/lib/moodlelib.php
+++ b/lib/moodlelib.php
@@ -666,7 +666,7 @@ function remove_course_contents($courseid, $showfeedback=true) {
 /// Clear a course out completely, deleting all content
 /// but don't delete the course itself
 
-    global $CFG;
+    global $CFG, $THEME, $USER, $SESSION;
 
     $result = true;