[][src]Constant fltk::gl::GL_TIME_ELAPSED_EXT

pub const GL_TIME_ELAPSED_EXT: u32 = 35007; // 35_007u32