remove flag deferments_light
commitd39a661d18d66a2ac074b3467a4a1d50df491f29
authorCatherine Gasnier <catg@fb.com>
Wed, 3 Nov 2021 15:35:59 +0000 (3 08:35 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 3 Nov 2021 15:37:26 +0000 (3 08:37 -0700)
tree527a04c6200f1f429bb36c6574ad4ae28180f7aa
parent2e78c123904132390f9acef5f0ce2c3fff728c92
remove flag deferments_light

Summary: The logic for old deferments has been cleaned up in the previous diff

Reviewed By: andrewjkennedy

Differential Revision: D31172750

fbshipit-source-id: e2e1d2a0ed83d112202171eb3a7e89b551542b29
hphp/hack/src/options/globalOptions.ml
hphp/hack/src/options/globalOptions.mli
hphp/hack/src/oxidized/gen/global_options.rs
hphp/hack/src/oxidized/manual/global_options_impl.rs
hphp/hack/src/oxidized_by_ref/gen/global_options.rs
hphp/hack/src/oxidized_by_ref/manual/global_options_impl.rs
hphp/hack/src/server/serverConfig.ml
hphp/hack/src/server/serverLocalConfig.ml
hphp/hack/src/stubs/logging/hackEventLogger.ml
hphp/hack/test/unit/server_tests.ml