Fix php short tag causing Travis to fail.