php_all_sys::php80

Constant ZEND_COMPILE_IGNORE_OTHER_FILES

Source 
pub const ZEND_COMPILE_IGNORE_OTHER_FILES: u32 = 8192;