lint: Sync with gnome-shell
gnome-shell itself no longer requires parameter descriptions in doc comments (just type annotations). The requirement makes even less sense for extensions, so sync up the configuration.
gnome-shell itself no longer requires parameter descriptions in doc comments (just type annotations). The requirement makes even less sense for extensions, so sync up the configuration.