Constant PHP_EXTRA_VERSION 

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