Fix PHP example in the documentation that throws syntax error