diff options
| author | wn_ <invalid@email.com> | 2024-11-12 03:38:45 +0000 |
|---|---|---|
| committer | wn_ <invalid@email.com> | 2024-11-12 03:38:45 +0000 |
| commit | dca2ae60a1c7a7951ee769aefeb19c4576c57aa6 (patch) | |
| tree | 613b5affdfa45bf9fa540d40cf88ddff9fb9bb54 /classes/UserHelper.php | |
| parent | a784305cc764a7e039ad87074f541db68a653a5a (diff) | |
Remove some PHPStan ignores and make others rule-specific.
Diffstat (limited to 'classes/UserHelper.php')
| -rw-r--r-- | classes/UserHelper.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/classes/UserHelper.php b/classes/UserHelper.php index 6c294a9a8..27e022624 100644 --- a/classes/UserHelper.php +++ b/classes/UserHelper.php @@ -50,7 +50,7 @@ class UserHelper { */ public static function map_access_level(int $level) : int { if (in_array($level, self::ACCESS_LEVELS)) { - /** @phpstan-ignore-next-line */ + /** @phpstan-ignore return.type (yes it is a UserHelper::ACCESS_LEVEL_* value) */ return $level; } else { user_error("Passed invalid user access level: $level", E_USER_WARNING); |