Constant PHP_MANDIR

Source
pub const PHP_MANDIR: &'static [u8; 15] = b"/usr/share/man\0";