play with travis php versions