update php on travis