webrender::profiler

Constant UPDATE_DOCUMENT_TIME

Source 
pub const UPDATE_DOCUMENT_TIME: usize = 137;