interface WEBGL_debug_shaders {
    getTranslatedShaderSource(shader): string;
}

Methods