From d563c786fd5d37f274a462bc81f97802a555032e Mon Sep 17 00:00:00 2001
From: Simon Rettberg
Date: Mon, 13 Nov 2017 23:44:10 +0100
Subject: [inc/Taskmanager] Fix phpdoc

---
 inc/taskmanager.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'inc')

diff --git a/inc/taskmanager.inc.php b/inc/taskmanager.inc.php
index 1920190f..dcf54448 100644
--- a/inc/taskmanager.inc.php
+++ b/inc/taskmanager.inc.php
@@ -96,7 +96,7 @@ class Taskmanager
 	/**
 	 * Wait for the given task's completion.
 	 *
-	 * @param type $task task to wait for
+	 * @param array $task task to wait for
 	 * @param int $timeout maximum time in ms to wait for completion of task
 	 * @return array result/status of task, or false if it couldn't be queried
 	 */
-- 
cgit v1.2.3-55-g7522