Merge branch 'remove-extension-from-solr-if-deleted' into 'develop'

Remove extension from solr if deleted

See merge request t3o/ter!336
4 jobs for develop in 15 minutes and 8 seconds (queued for 2 seconds)