Header kid resolved in null

[tomerBZ]

php-jwt/src/JWT.php

Line 113 in 83b6090

empty($header->kid) ? null : $header->kid

Hi guys,

If keys with $header->kid = "0"/0 this will be resolved as null duo to PHP nature:

echo empty("0") // 1
echo empty(0) // 1

[bshaffer]

Good catch. We could swap this out for property_exists instead.

property_exists($header, 'kid') ? $header->kid : null