Constant PHP_RELEASE_VERSION

Source
pub const PHP_RELEASE_VERSION: u32 = 45;