The EXT_frag_depth extension is part of the WebGL API and enables to set a depth value of a fragment from within the fragment shader.