docs: function restartMediaPlayer () {
          exitingSeek = false;
          pauseOnExitSeek = false;
          var source = mediaPlayer.getSource();
          var mimeType = mediaPlayer.getMimeType();
  
          reset();
          mediaPlayer.initialiseMedia('video', source, mimeType, playbackElement, setSourceOpts);
          mediaPlayer.beginPlaybackFrom(currentTime + timeCorrection || 0);
        }