Adds alternate support for Extension Manager to extension updating mechanism
Hi,
This is a patch (as suggested in #5564 (closed)) which adds alternate support for Extension Manager to the extension updating mechanism.
Presently GNOME Shell will only update extensions if the org.gnome.Extensions
app is installed. This MR enables updates to also occur when com.mattjakeman.ExtensionManager
is installed on the system.
When both applications are installed, org.gnome.Extensions is preferred at all times.
Happy to adjust as needed.
Fixes #5564 (closed)