declare module "resource:///org/gnome/Shell/Extensions/js/extensions/prefs.js" {
    export * from "@girs/gnome-shell/extensions/prefs";
}