Use full <?php open tag

The fact that this even works in production is luck since we
shouldn't ever rely on people having short_open_tag enabled.

Change-Id: Iba275c2c292c8d330ffc3d72d3cbad83bf253125