Format default settings (#11985)

This PR formats `default.json`, as it had gotten out-of-sync with
Prettier.

Release Notes:

- N/A
b93e564a78Marshall Bowers committed on 5/17/2024, 5:13:58 PM· committed by GitHubparent483a735
1 file changedLine totals unavailable