mirrors/PocketMine-MP
1
0
Fork 0
mirror of https://github.com/pmmp/PocketMine-MP.git synced 2025-10-18 12:04:46 +00:00
Code Issues Projects Releases Wiki Activity

phpstan 0.12.29

Browse Source
This commit is contained in:
Dylan K. Taylor
2020-06-14 16:25:55 +01:00
parent 0029efa370
commit d8d994351b
7 changed files with 123 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/pocketmine/scheduler/TaskScheduler.php
View File

@@ -36,7 +36,10 @@ class TaskScheduler{
/** @var bool */
private $enabled = true;
/** @var ReversePriorityQueue<TaskHandler> */
/**
* @var ReversePriorityQueue
* @phpstan-var ReversePriorityQueue<int, TaskHandler>
*/
protected $queue;
/** @var TaskHandler[] */