Use ExtensionFunction for glDiscardFramebufferEXT