php_all_sys::php80

Constant PHP_CREDITS_FULLPAGE

Source 
pub const PHP_CREDITS_FULLPAGE: u32 = 32;