added missing starting php tag

As noted in #473 this fixes the PHP example.