0904 temp Use Nokia WebCL interface in MozWebCL's WebIDL