Constant nginx::PR_GET_TIMING

pub const PR_GET_TIMING: u32 = 13;