···55 ];
5657in rec {
58- inherit buildShellExtension;
59-60 gnome38Extensions = mapUuidNames (produceExtensionsList "38");
61 gnome40Extensions = mapUuidNames (produceExtensionsList "40");
62 gnome41Extensions = mapUuidNames (produceExtensionsList "41");
···79 mediaplayer = throw "gnomeExtensions.mediaplayer deprecated since 2019-09-23: retired upstream https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/blob/master/README.md";
80 remove-dropdown-arrows = throw "gnomeExtensions.remove-dropdown-arrows removed since 2021-05-25: The extensions has not seen an update sine GNOME 3.34. Furthermore, the functionality it provides is obsolete as of GNOME 40.";
81 })
0082 # Make the set "public"
83 lib.recurseIntoAttrs
84 ];
···55 ];
5657in rec {
0058 gnome38Extensions = mapUuidNames (produceExtensionsList "38");
59 gnome40Extensions = mapUuidNames (produceExtensionsList "40");
60 gnome41Extensions = mapUuidNames (produceExtensionsList "41");
···77 mediaplayer = throw "gnomeExtensions.mediaplayer deprecated since 2019-09-23: retired upstream https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/blob/master/README.md";
78 remove-dropdown-arrows = throw "gnomeExtensions.remove-dropdown-arrows removed since 2021-05-25: The extensions has not seen an update sine GNOME 3.34. Furthermore, the functionality it provides is obsolete as of GNOME 40.";
79 })
80+ # Export buildShellExtension function
81+ (extensions: extensions // { inherit buildShellExtension; })
82 # Make the set "public"
83 lib.recurseIntoAttrs
84 ];