Check PHP syntax in travis