travis leveraged php version