Constant PHP_MAJOR_VERSION

Source
pub const PHP_MAJOR_VERSION: u32 = 7;