[PATCH 1/1] opengl32: Simplify extension tokenization.