Extensions: respect allowRemoteExtensions in default settings (!3357) · Merge requests · Administrator / sourcegraph

Administrator requested to merge filter-extensions-in-default-settings into master Apr 11, 2019

Created by: chrismwendt

Prior to this change, allowRemoteExtensions would not have any effect on default settings, causing the browser to log a warning when it couldn't find the manifest for extensions that are enabled by default.

After this change, the default settings will be filtered using allowRemoteExtensions so that no warnings are logged.

Fixes https://github.com/sourcegraph/sourcegraph/issues/3351

Test plan: follow repro steps in https://github.com/sourcegraph/sourcegraph/issues/3351 and notice no warnings get logged

Extensions: respect allowRemoteExtensions in default settings

Merge request reports