Missing $DB global in lib/enrollib.php