Extracted from Pike v8.0 release 358 as of 2016-11-23.
   

Method GLUE.has_extension()


Method has_extension

bool has_extension(string ext)

Description

Checks if the GL extension ext is currently supported.