Constant PHP_BUILD_DATE 

pub const PHP_BUILD_DATE: &[u8; 11] = b"2018-12-04\0";