Constant PID_HTMLINFOTIPFILE 

pub const PID_HTMLINFOTIPFILE: u32 = 5u32;