gnome-shell/js
Florian Müllner 4a0b0e26c7 extensionUtils: Move isOutOfDate() into manager
It hasn't been used anywhere else since the old prefs-tool stopped
implementing its own extension loading.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2837>
2023-07-15 13:16:42 +02:00
..
dbusServices extensionUtils: Always use manager to find current extension 2023-07-15 11:07:12 +00:00
gdm animationUtils: Group together various animation helpers 2023-07-15 02:35:56 +00:00
misc extensionUtils: Move isOutOfDate() into manager 2023-07-15 13:16:42 +02:00
portalHelper portalHelper: Port to ESM 2023-06-21 13:26:42 +02:00
ui extensionUtils: Move isOutOfDate() into manager 2023-07-15 13:16:42 +02:00
js-resources.gresource.xml environment: Split dependencies loading into a new file 2023-07-15 02:35:56 +00:00
meson.build extensions-app: Move Extensions app to new subproject 2020-03-27 23:33:30 +00:00
portal-resources.gresource.xml js/portal-resources: Add missing fileUtils to js path 2022-11-03 18:02:27 +00:00