Merge commit '5a8917f6f21205d074ce3e9d2f9325e427f9d254'

# Conflicts:
#	resources/vanilla
This commit is contained in:
Dylan K. Taylor 2020-05-18 10:32:20 +01:00
commit eeec775ff6

View File

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