Extracted from Pike v8.0 release 276 as of 2016-07-29.
   

Method GLUE.has_extension()


Method has_extension

bool has_extension(string ext)

Description

Checks if the GL extension ext is currently supported.