From 41b81d5996f0a62e5db4205484fd8df88aa697bb Mon Sep 17 00:00:00 2001 From: "Eloy Lafuente (stronk7)" Date: Tue, 30 Apr 2019 02:11:42 +0200 Subject: [PATCH] MDL-63137 mod_feedback: discern between user or id better is_int('1') => false, so better we invert the check that is safer. --- mod/feedback/lib.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mod/feedback/lib.php b/mod/feedback/lib.php index 10c22197058..884dd7d3783 100644 --- a/mod/feedback/lib.php +++ b/mod/feedback/lib.php @@ -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)); } -- 2.43.0