user preferences are not restored if user exists. MDL-12594 ; merged from 19_STABLE

diff --git a/backup/restorelib.php b/backup/restorelib.php
index 0cac2801f69b773c6a5ac519b4196a94b7469d50..6b484df2939c77718afe4e06ae20c1ea9dbd96c2 100644 (file)
--- a/backup/restorelib.php
+++ b/backup/restorelib.php
@@ -2486,6 +2486,7 @@ define('RESTORE_GROUPS_GROUPINGS', 3);
                     $create_user = false;
                     $create_custom_profile_fields = false;
                     $create_tags = false;
+                    $create_preferences = false;
                 }
 
                 //Here, if create_user, do it