Constant ZEND_COMPILE_IGNORE_OTHER_FILES 

pub const ZEND_COMPILE_IGNORE_OTHER_FILES: u32 = 8192;