From 19ec09d99aac740d25aab7c3e8a76895930eed75 Mon Sep 17 00:00:00 2001
From: Pavel Shevaev <pacha.shevaev@gmail.com>
Date: Wed, 7 May 2025 17:50:35 +0300
Subject: [PATCH] Making PHPStan happy

---
 util.inc.php | 3 ---
 1 file changed, 3 deletions(-)

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];