Done in https://github.com/firebase/php-jwt/commit/53669d621149e49c2a428722a62acfef3342c260, thanks!