combine old_naming_table_for_redecl and force_shallow_decl_fanout flags
commitd0d2296433cc83149f468a28148ae41ae81cb24c
authorBob Ren <bobren@fb.com>
Mon, 18 Oct 2021 18:37:02 +0000 (18 11:37 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Mon, 18 Oct 2021 18:38:55 +0000 (18 11:38 -0700)
tree73fcbeee5019a39cd88f75bf29456092f641c41e
parent871a9b120118a0ca05eb89f2824b72ec699f5711
combine old_naming_table_for_redecl and force_shallow_decl_fanout flags

Summary: As discussed offline this morning w/ CatherineGasnier and hverr, since these two flags are tightly coupled, we might as well just roll them into one flag. This way we can have a single rollout.

Differential Revision: D31732411

fbshipit-source-id: a8c8248e6422ff8502a23281bcbbb34ef836c68a
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/server/serverTypeCheck.ml
hphp/hack/src/stubs/logging/hackEventLogger.ml