Migrate a removed jsdoc, copied from the corresponding gnome-shell change. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/259>
Migrate a removed jsdoc, copied from the corresponding gnome-shell change. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/259>