diff options
Diffstat (limited to 'cli/_update-or-create-user.php')
| -rw-r--r-- | cli/_update-or-create-user.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cli/_update-or-create-user.php b/cli/_update-or-create-user.php index e51c68e10..0f6c39517 100644 --- a/cli/_update-or-create-user.php +++ b/cli/_update-or-create-user.php @@ -34,12 +34,12 @@ if (!validateOptions($argv, $params) || empty($options['user'])) { " --since_hours_posts_per_rss 168 --max_posts_per_rss 400 )"); } -function strParam($name) { +function strParam(string $name): ?string { global $options; return isset($options[$name]) ? strval($options[$name]) : null; } -function intParam($name) { +function intParam(string $name): ?int { global $options; return isset($options[$name]) && ctype_digit($options[$name]) ? intval($options[$name]) : null; } |