From eeaf75ac854f38a3afc5944fcae6be40b2129b0e Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Sat, 17 Feb 2018 19:54:56 +0000
Subject: [PATCH] Server: add typehint to addPlayer()

---
 src/pocketmine/Server.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/pocketmine/Server.php b/src/pocketmine/Server.php
index 590b398b9..a801196d6 100644
--- a/src/pocketmine/Server.php
+++ b/src/pocketmine/Server.php
@@ -2317,7 +2317,7 @@ class Server{
 		unset($this->loggedInPlayers[$player->getRawUniqueId()]);
 	}
 
-	public function addPlayer($identifier, Player $player){
+	public function addPlayer(string $identifier, Player $player){
 		$this->players[$identifier] = $player;
 		$this->identifiers[spl_object_hash($player)] = $identifier;
 	}