Extracted from Pike v8.0 release 28 as of 2015-08-03.
   

Method GLUE.has_extension()


Method has_extension

bool has_extension(string ext)

Description

Checks if the GL extension ext is currently supported.