updated travis php version