backport PHP 5.5 tokens