Try php 5.5 with travis