Noticed this was missing when writing the "glapi: sort ARB extensions by number" commit, which at least shows it was effective. Reviewed-by: Brian Paul <brianp@vmware.com>