Florian Müllner 393d9df375 extensions-tool: Adjust templates
Extensions are now loaded as modules, so adjust the templates
accordingly.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2795>
2023-07-06 18:41:29 +00:00
..
2023-07-06 19:23:10 +02:00
2023-07-06 19:23:10 +02:00