WebGLRenderingContext：deleteShader() 方法
Baseline
Widely available
This feature is well established and works across many devices and browser versions. It’s been available across browsers since 2015年7月.
WebGL API 的 WebGLRenderingContext.deleteShader() 方法用于将给定的 WebGLShader 对象标记为删除状态。当着色器不再使用时，它将被删除。如果着色器已经被删除，则此方法不会产生任何效果，当着色器被垃圾回收器销毁时，WebGLShader 会被自动标记为删除状态。