From a996ac797aa1a403df03ce356802ce37b77523e8 Mon Sep 17 00:00:00 2001
From: Diogo Cordeiro <diogo@fc.up.pt>
Date: Tue, 21 Jul 2020 13:37:36 +0100
Subject: [PATCH] [UserFlag] Fix type of onUserRightsCheck

---
 plugins/UserFlag/UserFlagPlugin.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/plugins/UserFlag/UserFlagPlugin.php b/plugins/UserFlag/UserFlagPlugin.php
index 22930f557d..e257dfc80a 100644
--- a/plugins/UserFlag/UserFlagPlugin.php
+++ b/plugins/UserFlag/UserFlagPlugin.php
@@ -154,13 +154,13 @@ class UserFlagPlugin extends Plugin
      * We define extra rights; this function checks to see if a
      * user has one of them.
      *
-     * @param User   $user    User being checked
+     * @param Profile   $user    User being checked
      * @param string $right   Right we're checking
      * @param bool   &$result out, result of the check
      *
      * @return bool hook result
      */
-    public function onUserRightsCheck(User $user, string $right, bool &$result): bool
+    public function onUserRightsCheck(Profile $user, string $right, bool &$result): bool
     {
         switch ($right) {
         case self::REVIEWFLAGS: