Merging unmerged 19_STABLE file.

diff --git a/backup/restorelib.php b/backup/restorelib.php
index 8f3ae4a08f4939c339e4f5a878d9f9db71c191be..2eb82394048cf5997d10df1c244688ac0c263966 100644 (file)
--- a/backup/restorelib.php
+++ b/backup/restorelib.php
@@ -3352,7 +3352,7 @@ define('RESTORE_GROUPS_GROUPINGS', 3);
 
             //We have to recode the userid field
             if (!$user = backup_getid($restore->backup_unique_code,"user",$group_member->userid)) {
-                debugging("group membership can not be restored, user id $group_member->userid not presetn in backup");
+                debugging("group membership can not be restored, user id $group_member->userid not present in backup");
                 // do not not block the restore 
                 continue;
             }