From f5534a9ab078a06011ae00e719aa447127323d3d Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Mon, 25 Sep 2017 09:49:19 +0100
Subject: [PATCH] Server: add some typehints

---
 src/pocketmine/Server.php | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/pocketmine/Server.php b/src/pocketmine/Server.php
index 8ee0e0872..07c7e86f2 100644
--- a/src/pocketmine/Server.php
+++ b/src/pocketmine/Server.php
@@ -915,7 +915,7 @@ class Server{
 	/**
 	 * @return Level|null
 	 */
-	public function getDefaultLevel(){
+	public function getDefaultLevel() : ?Level{
 		return $this->levelDefault;
 	}
 
@@ -926,7 +926,7 @@ class Server{
 	 *
 	 * @param Level|null $level
 	 */
-	public function setDefaultLevel($level){
+	public function setDefaultLevel(?Level $level) : void{
 		if($level === null or ($this->isLevelLoaded($level->getFolderName()) and $level !== $this->levelDefault)){
 			$this->levelDefault = $level;
 		}
@@ -946,7 +946,7 @@ class Server{
 	 *
 	 * @return Level|null
 	 */
-	public function getLevel(int $levelId){
+	public function getLevel(int $levelId) : ?Level{
 		if(isset($this->levels[$levelId])){
 			return $this->levels[$levelId];
 		}
@@ -961,7 +961,7 @@ class Server{
 	 *
 	 * @return Level|null
 	 */
-	public function getLevelByName(string $name){
+	public function getLevelByName(string $name) : ?Level{
 		foreach($this->getLevels() as $level){
 			if($level->getFolderName() === $name){
 				return $level;