echo travis php version