The video player is simply what the browser itself is providing. This can be changed by adding controlslist="nodownload"
to the <video>
tag, though bear in mind that this is very simple to avoid -- you can't really prevent the video from being downloaded.
If you wanted to change this, you'd need to search the templates for <video
and add the attribute I mentioned to the relevant templates within that tag.