About using the bgl module in blender 2.80 ( i.e. glDepthFunc )

The Blender 2.80 release notes document https://wiki.blender.org/wiki/Reference/Release_Notes/2.80/Python_API/Draw_API states:

We advise addons to use the gpu module instead of directly using OpenGL through the bgl module. gpu provides a higher level API that will be more future proof for upgrades or adoption of new APIs like Vulkan.

However when we want to draw points (or lines) always in front,
what is the official allowed replacement for the following function::

def draw_points(points):

    # We need to draw points always in front:
    import bgl
    bgl.glDepthFunc(bgl.GL_ALWAYS)
    # Is this OK in Blender 2.80 or is it not ok ?

    batch = batch_from_points(points, "POINTS")
    single_color_shader.bind()
    single_color_shader.uniform_float("color", COLOR_POINT)
    batch.draw(single_color_shader)

BTW: This is for the MathVis Addon

There is no replacement for it, you have to use bgl.