PHP Puno updated for PHP 5.5