Update extensions installed from https://extensions.gnome.org
Primary LanguageJavaScriptGNU General Public License v2.0GPL-2.0