diff options
| author | 2023-04-05 16:19:14 +0200 | |
|---|---|---|
| committer | 2023-04-05 16:19:14 +0200 | |
| commit | 3f1695db039101d44d611f0d1781d1ba034034dd (patch) | |
| tree | b64a462eaff96e8b3528b1dc17f400b12692da73 /cli/_update-or-create-user.php | |
| parent | 36aa0122e15b6c5a4bf923467b63a577cac5a539 (diff) | |
PHPStan 6 for CLI (#5258)
* PHPStan 6 for CLI
Except `./cli/i18n/`
* Bool
* One type forgotten
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; } |
