PHP_CREDITS_DOCS

Constant PHP_CREDITS_DOCS 

Source
pub const PHP_CREDITS_DOCS: u32 = 16;