Use the long PHP tag

Change-Id: I3d2c4cb565f203dc9f2c7c6531f7ba7ead82bb96