Florian Müllner e75a1a15ac extensions: Import ExtensionUtils as module ...

ExtensionUtils has been converted to ESM and split into two modules,
for extensions and prefs respectively.

Adjust to those changes.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/266>

2023-07-15 14:13:25 +02:00

..

extension.js

extensions: Import ExtensionUtils as module

2023-07-15 14:13:25 +02:00

meson.build

user-themes: Add preference widget

2020-04-12 04:13:25 +02:00

metadata.json.in

Update descriptions of extensions

2013-05-20 19:06:59 +02:00

org.gnome.shell.extensions.user-theme.gschema.xml

build: Say good-bye to intltool

2016-08-19 22:17:07 +02:00

prefs.js

extensions: Import ExtensionUtils as module

2023-07-15 14:13:25 +02:00

util.js

extensions: Turn extensions into modules

2023-07-07 00:35:08 +02:00