diff --git a/src/pocketmine/scheduler/AsyncPool.php b/src/pocketmine/scheduler/AsyncPool.php index 390fdeb71..f5a0576f1 100644 --- a/src/pocketmine/scheduler/AsyncPool.php +++ b/src/pocketmine/scheduler/AsyncPool.php @@ -53,18 +53,33 @@ class AsyncPool{ /** @var int */ private $workerMemoryLimit; - /** @var AsyncTask[] */ + /** + * @var AsyncTask[] + * @phpstan-var array + */ private $tasks = []; - /** @var int[] */ + /** + * @var int[] + * @phpstan-var array + */ private $taskWorkers = []; /** @var int */ private $nextTaskId = 1; - /** @var AsyncWorker[] */ + /** + * @var AsyncWorker[] + * @phpstan-var array + */ private $workers = []; - /** @var int[] */ + /** + * @var int[] + * @phpstan-var array + */ private $workerUsage = []; - /** @var int[] */ + /** + * @var int[] + * @phpstan-var array + */ private $workerLastUsed = []; /**