Constant PHP_MANDIR 

pub const PHP_MANDIR: &[u8; 19] = b"/usr/local/php/man\0";