tree 2b99439c797d384701c1b9f00b278db9ae0b7ece
parent 18db8bec9462621c6117940402d766b753886ca0
author Jon Leech <oddhack@sonic.net> 1485435212 -0800
committer Jon Leech <oddhack@sonic.net> 1485435212 -0800

Make structure and registry files more consistent with GL registry. Move
extension number registry into extensions/registry.py and autogenerate
the HTML index, instead of registering numbers in cl.xml and requiring a
separate manual update of index.php.