`WebCLDevice.getSupportedExtensions` should report `KHR_fp64` when `cl_khr_fp64` is supported by the OpenCL device.
WebCLDevice.getSupportedExtensionsshould reportKHR_fp64whencl_khr_fp64is supported by the OpenCL device.