Fix php example

CS 2572.