My bad for operating on the wrong upstream for several days without realizing it. Need to make sure cl.xml extension changes from github are still present. Merge branch 'master' of github.com:KhronosGroup/OpenCL-Registry Conflicts: index.php