595be5083c
As extensions are now expected to provide a "disable" function, they need to remove search providers they added. Implement the removal functionality and add a public removeSearchProvider() method. https://bugzilla.gnome.org/show_bug.cgi?id=657548