aboutsummaryrefslogtreecommitdiff
path: root/cli/_update-or-create-user.php
diff options
context:
space:
mode:
authorGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2023-04-05 16:19:14 +0200
committerGravatar GitHub <noreply@github.com> 2023-04-05 16:19:14 +0200
commit3f1695db039101d44d611f0d1781d1ba034034dd (patch)
treeb64a462eaff96e8b3528b1dc17f400b12692da73 /cli/_update-or-create-user.php
parent36aa0122e15b6c5a4bf923467b63a577cac5a539 (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.php4
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;
}