options: remove --hr-mp3-seek

This didn't do anything anymore. Even before the internal audio demuxer
was removed, demux_lavf was used by default for mp3.

Use --hr-seek instead.

DOCS/man/en/options.rst

@@ -784,15 +784,6 @@
 --help
     Show short summary of options and key bindings.
 
---hr-mp3-seek
-    Only affects the internal ``audio`` demuxer, which is not used by default
-    for mp3 files any more. The equivalent functionality is always enabled
-    with the now default libavformat demuxer for mp3. Hi-res MP3 seeking.
-    Enabled when playing from an external MP3 file, as we need to seek to the
-    very exact position to keep A/V sync. Can be slow especially when seeking
-    backwards since it has to rewind to the beginning to find an exact frame
-    position.
-
 --hr-seek=<no|absolute|yes>
     Select when to use precise seeks that are not limited to keyframes. Such
     seeks require decoding video from the previous keyframe up to the target

cfg-mplayer.h

@@ -401,8 +401,6 @@ const m_option_t common_opts[] = {
     OPT_STRINGLIST("alang", audio_lang, 0),
     OPT_STRINGLIST("slang", sub_lang, 0),
 
-    OPT_MAKE_FLAGS("hr-mp3-seek", hr_mp3_seek, 0),
-
     OPT_STRING("quvi-format", quvi_format, 0),
 
     { "rawaudio", (void *)&demux_rawaudio_opts, CONF_TYPE_SUBCONFIG, 0, 0, 0, NULL},

options.h

@@ -77,7 +77,6 @@ typedef struct MPOpts {
     char **audio_lang;
     char **sub_lang;
     int sub_visibility;
-    int hr_mp3_seek;
     char *quvi_format;
 
     char *audio_stream;