From 376926c700088a84f840808f83ff73a0695dc0f2 Mon Sep 17 00:00:00 2001
From: "Dylan K. Taylor" <odigiman@gmail.com>
Date: Wed, 10 Jun 2020 12:10:33 +0100
Subject: [PATCH] TimingsCommand: fix missing type information for async task
 local storage

---
 src/pocketmine/command/defaults/TimingsCommand.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/pocketmine/command/defaults/TimingsCommand.php b/src/pocketmine/command/defaults/TimingsCommand.php
index bbf5b6fed6..6d3bc9741b 100644
--- a/src/pocketmine/command/defaults/TimingsCommand.php
+++ b/src/pocketmine/command/defaults/TimingsCommand.php
@@ -151,6 +151,7 @@ class TimingsCommand extends VanillaCommand{
 					}
 
 					public function onCompletion(Server $server){
+						/** @var CommandSender $sender */
 						$sender = $this->fetchLocal();
 						if($sender instanceof Player and !$sender->isOnline()){ // TODO replace with a more generic API method for checking availability of CommandSender
 							return;