bit
/
taskman
25
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Making PHPStan happy
Publish PHP Package / docker (push) Successful in 7s Details

This commit is contained in:
Pavel Shevaev 2025-05-07 17:50:35 +03:00
parent 97e948d132
commit 19ec09d99a
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
util.inc.php
View File

@ -7,9 +7,6 @@ function get_task(string $task) : TaskmanTask
global $TASKMAN_TASKS; global $TASKMAN_TASKS;
global $TASKMAN_TASK_ALIASES; global $TASKMAN_TASK_ALIASES;
if(!is_scalar($task))
throw new TaskmanException("Bad task name");
if(isset($TASKMAN_TASKS[$task])) if(isset($TASKMAN_TASKS[$task]))
return $TASKMAN_TASKS[$task]; return $TASKMAN_TASKS[$task];