options: remove options-to-property bridge

The previous bunch of commits made this unnecessary, so this should be
a purely internal change with no user impact.

This may or may not open the way to future improvements. Even if not,
at least the property/option interaction should now be much less buggy.

1 files changed, 0 insertions, 1 deletions

diff --git a/player/command.h b/player/command.h
index 3952ce37e7..037dec1164 100644
--- a/player/command.h
+++ b/player/command.h
@@ -78,7 +78,6 @@ void property_print_help(struct MPContext *mpctx);
 int mp_property_do(const char* name, int action, void* val,
                    struct MPContext *mpctx);
 
-int mp_on_set_option(void *ctx, struct m_config_option *co, void *data, int flags);
 void mp_option_change_callback(void *ctx, struct m_config_option *co, int flags);
 
 void mp_notify(struct MPContext *mpctx, int event, void *arg);