Avi Halachmi (:avih) 86093fcae7 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.

2023-01-29 01:52:31 +02:00

..

defaults.js

lua/js: remove user-data helpers

2023-01-29 01:52:31 +02:00