Some declarations just in case (for the included files).

diff --git a/lib/moodlelib.php b/lib/moodlelib.php
index 5c5a31efcdeba1b419488a0724a86967b72b28de..e150041b542d9bd4f19e4ddf0fe0eab62bc2622a 100644 (file)
--- 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;