From 41b81d5996f0a62e5db4205484fd8df88aa697bb Mon Sep 17 00:00:00 2001
From: "Eloy Lafuente (stronk7)" <stronk7@moodle.org>
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.36.1