Adding to that there is no plan from GNOME upstream to move gnome-shell away from mozjs and that's not something we could do as a distro patch. That's an unfortunate code duplication but we feel like we don't really have a choice (out of sticking to a 10 years old unmaintained version of polkit which is also not really desirable, especially that the rules syntax is limited in features compared to what newer versions allow)
Adding to that there is no plan from GNOME upstream to move gnome-shell away from mozjs and that's not something we could do as a distro patch. That's an unfortunate code duplication but we feel like we don't really have a choice (out of sticking to a 10 years old unmaintained version of polkit which is also not really desirable, especially that the rules syntax is limited in features compared to what newer versions allow)