diff --git a/util.inc.php b/util.inc.php index 91a082d..deb7058 100644 --- a/util.inc.php +++ b/util.inc.php @@ -7,9 +7,6 @@ function get_task(string $task) : TaskmanTask global $TASKMAN_TASKS; global $TASKMAN_TASK_ALIASES; - if(!is_scalar($task)) - throw new TaskmanException("Bad task name"); - if(isset($TASKMAN_TASKS[$task])) return $TASKMAN_TASKS[$task];