downgrading php versions on TravisCI