lua/js: remove user-data helpers

This reverts:
  3fb4140c lua/defaults: add user_data helpers
  68a20e7a javascript/defaults: add user_data helpers
  00510379 lua/js: fix user_data_del util function

As well as the lua/js parts of:
  3ec2a098 docs: document new user-data property

user-data and its sub-properties can be set/get/observed/deleted
via the standard properties interface, so there's no need for
additional helpers specific to user-data, which only added maintenance
burden.

1 files changed, 0 insertions, 19 deletions

diff --git a/player/lua/defaults.lua b/player/lua/defaults.lua
index 749d486d5f..e0914115f5 100644
--- a/player/lua/defaults.lua
+++ b/player/lua/defaults.lua
@@ -831,23 +831,4 @@ function mp_utils.shared_script_property_observe(name, cb)
     end)
 end
 
-function mp_utils.user_data_set(path, value)
-    return mp.set_property_native("user-data/" .. path, value)
-end
-
-function mp_utils.user_data_get(path)
-    return mp.get_property_native("user-data/" .. path)
-end
-
-function mp_utils.user_data_del(path)
-    return mp.del_property("user-data/" .. path)
-end
-
--- cb(name, value) on change and on init
-function mp_utils.user_data_observe(path, t, cb)
-    return mp.observe_property("user-data/" .. path, t, function(_, val)
-        cb(path, val)
-    end)
-end
-
 return {}