tree 0d664b93846c85d2a68398f36840edec0b63ac0e
parent 53a701dc7495cff7beb5a99616b97402275c6204
author Jon Leech <oddhack@sonic.net> 1557795852 -0700
committer Jon Leech <oddhack@sonic.net> 1557795852 -0700

Fix noncontiguous extension numbering

At some point the GL non-ARB extension numbering became discontiguous,
probably due to a typo 532 -> 592 in registry.php. This shifts the
extension numbers to remain contiguous. Since the extension numbers
aren't used for anything except imposing an ordering on the list in the
registry index, this should be harmless.