The names of extensions that are supported system-wide can be queried with 'webcl.getSupportedExtensions ()'.
Calling 'getSupportedExtensions' on a particular WebCLPlatform returns the set of extensions that are supported by all devices on that platform.