Constant PHP_EXTRA_VERSION 

pub const PHP_EXTRA_VERSION: &[u8; 11] = b"-0+deb8u12\0";