Use the long PHP tag

Change-Id: I47be14d14c227dceb07fe08ed787da54904f3b25