php_all_sys::php56

Constant ZEND_IS_SMALLER_OR_EQUAL

Source 
pub const ZEND_IS_SMALLER_OR_EQUAL: u32 = 20;