Constant PHP_EXTRA_VERSION 

pub const PHP_EXTRA_VERSION: &'static [u8; 10] = b"-0+deb7u2\0";