Enforce extensions downloader plugin. Too many users disable it
accidentally, later complaining about the lack of plugins.
Merge branch 'public/7.8' into public/7.9