calle 84e369aad2 UI: rename extensions button (#1535) ... * UI: rename extensions button * change JS		2023-02-22 10:01:52 +01:00
..
base.js	chore: migrate after major changes on main	2023-01-18 17:38:36 +02:00
components.js	UI: rename extensions button (#1535)	2023-02-22 10:01:52 +01:00