php_all_sys::php80

Constant ZEND_COMPILE_IGNORE_INTERNAL_CLASSES

Source 
pub const ZEND_COMPILE_IGNORE_INTERNAL_CLASSES: u32 = 16;