From 59c787fd5b75da09e6881bca9d5c0b9530ba2525 Mon Sep 17 00:00:00 2001
From: Matthias Schmidt <gravatronics@live.com>
Date: Mon, 3 Jun 2019 19:35:28 +0200
Subject: [PATCH] Fix type of `$user` property after assigning trophy to user

---
 .../install/files/lib/acp/form/UserTrophyAddForm.class.php     | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/wcfsetup/install/files/lib/acp/form/UserTrophyAddForm.class.php b/wcfsetup/install/files/lib/acp/form/UserTrophyAddForm.class.php
index 85c405779b..4bd169916f 100644
--- a/wcfsetup/install/files/lib/acp/form/UserTrophyAddForm.class.php
+++ b/wcfsetup/install/files/lib/acp/form/UserTrophyAddForm.class.php
@@ -184,7 +184,8 @@ class UserTrophyAddForm extends AbstractAcpForm {
 	public function reset() {
 		parent::reset();
 		
-		$this->user = $this->userIDs = [];
+		$this->user = '';
+		$this->userIDs = [];
 		$this->trophyID = '';
 		$this->useCustomDescription = 0;
 	}
-- 
2.20.1