diff options
Diffstat (limited to 'classes/Debug.php')
| -rw-r--r-- | classes/Debug.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/classes/Debug.php b/classes/Debug.php index 1cda12539..ba39b4d44 100644 --- a/classes/Debug.php +++ b/classes/Debug.php @@ -77,7 +77,7 @@ class Debug { */ public static function map_loglevel(int $level) : int { if (in_array($level, self::ALL_LOG_LEVELS)) { - /** @phpstan-ignore-next-line */ + /** @phpstan-ignore return.type (yes it is a Debug::LOG_* value) */ return $level; } else { user_error("Passed invalid debug log level: $level", E_USER_WARNING); |