Issue #3314283: On PHP 8.1, warnings about "ctype_digit(): Argument of type int will be interpreted as string in the future"