Removed unused GlProvider::is_extension_supported()
Merge pull request #136 from Kimundi/master

Removed unused GlProvider::is_extension_supported()