Constant PHP_HEADER_COLOR 

pub const PHP_HEADER_COLOR: &[u8; 8] = b"#9999cc\0";