php_all_sys::php71

Constant PHP_MAJOR_VERSION

Source 
pub const PHP_MAJOR_VERSION: u32 = 7;