Merge branch 'ps-web-ide-extension-marketplace-db' into 'master'

Add use_web_ide_extension_marketplace to user_pref

See merge request https://gitlab.com/gitlab-org/gitlab/-/merge_requests/139000



Merged-by: Leonardo da Rosa <ldarosa@gitlab.com>
Approved-by: Hercules Merscher <hmerscher@gitlab.com>
Approved-by: Gary Holtz <gholtz@gitlab.com>
Approved-by: Leonardo da Rosa <ldarosa@gitlab.com>
Reviewed-by: charlie ablett <cablett@gitlab.com>
Reviewed-by: Hercules Merscher <hmerscher@gitlab.com>
Reviewed-by: Leonardo da Rosa <ldarosa@gitlab.com>
Co-authored-by: Paul Slaughter <pslaughter@gitlab.com>