pub const PHP_CREDITS_DOCS: u32 = 16;