A PHP library for encoding and decoding JSON Web Tokens.