MDL-63137 mod_feedback: discern between user or id better

is_int('1') => false, so better we invert the check that is safer.
This commit is contained in:
Eloy Lafuente (stronk7) 2019-04-30 02:11:42 +02:00
parent f991482446
commit 41b81d5996

View File

@ -2556,7 +2556,7 @@ function feedback_send_email($cm, $feedback, $course, $user, $completed = null)
return;
}
if (is_int($user)) {
if (!is_object($user)) {
$user = $DB->get_record('user', array('id' => $user));
}