Fix Examples/php/pointer to work with PHP 5.5

With this, all examples work with PHP 5.5.5 for me. Also checked with
PHP 5.3.17, hopefully no ifdefs are needed for backward compatibility.