diff options
| author | Avi Halachmi (:avih) <avihpit@yahoo.com> | 2023-01-29 00:58:43 +0200 |
|---|---|---|
| committer | avih <avih@users.noreply.github.com> | 2023-01-29 01:52:31 +0200 |
| commit | 86093fcae7881f1a2be2e481af8d6a566733a99a (patch) | |
| tree | 5d3087970c9b4c8234e472d04dc8e3d129b5290c /video/out | |
| parent | 0051037957f733d800ae3f086969978ebc5c56c7 (diff) | |
| download | mpv-86093fcae7881f1a2be2e481af8d6a566733a99a.tar.bz2 mpv-86093fcae7881f1a2be2e481af8d6a566733a99a.tar.xz | |
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.
Diffstat (limited to 'video/out')
0 files changed, 0 insertions, 0 deletions