updated version of php in travis ci configs