From cb598155a467366b5058b59462c19dfa8f5397fa Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Thu, 12 Dec 2019 16:19:57 +0000
Subject: [PATCH] Server: add @return annotation to crashDump() to make phpstan
 happy this is technically a bug in PHPStan, but it's easier to do this than
 report a bug.

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

diff --git a/src/pocketmine/Server.php b/src/pocketmine/Server.php
index a1e2e6821..da4e56d61 100644
--- a/src/pocketmine/Server.php
+++ b/src/pocketmine/Server.php
@@ -2246,6 +2246,9 @@ class Server{
 		$this->crashDump();
 	}
 
+	/**
+	 * @return void
+	 */
 	public function crashDump(){
 		while(@ob_end_flush()){}
 		if(!$this->isRunning){