php_all_sys::php72

Constant PHP_CREDITS_DOCS

Source 
pub const PHP_CREDITS_DOCS: u32 = 16;