Constant PHP_RELEASE_VERSION 

pub const PHP_RELEASE_VERSION: u32 = 15;