diff --git a/lib/moodlelib.php b/lib/moodlelib.php index 7a838865a43..b912b3d69b9 100644 --- a/lib/moodlelib.php +++ b/lib/moodlelib.php @@ -763,6 +763,12 @@ function unset_user_preference($name, $userid=NULL) { } } + //Delete the preference from $USER + if (isset($USER->preference[$name])) { + unset($USER->preference[$name]); + } + + //Then from DB return delete_records('user_preferences', 'userid', $userid, 'name', $name); }