Add support for PHP's timezone characters