Adding missing token for PHP 5.4