Constant PHP_EXTRA_VERSION 

pub const PHP_EXTRA_VERSION: &[u8; 1] = b"\0";