diff --git a/user/lib.php b/user/lib.php
index fe7d3385898..536a54d73f6 100644
--- a/user/lib.php
+++ b/user/lib.php
@@ -33,7 +33,7 @@
  * @return int id of the newly created user
  */
 function user_create_user($user, $updatepassword = true) {
-    global $DB;
+    global $DB, $CFG;
 
     // Set the timecreate field to the current time.
     if (!is_object($user)) {