Change from FAST to path list
commit041d83531aca6fc205545b8846e11fae9efaae49
authorTatiana Racheva <tatianaracheva@fb.com>
Fri, 13 Mar 2020 23:31:02 +0000 (13 16:31 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 13 Mar 2020 23:37:59 +0000 (13 16:37 -0700)
tree7a5fd11c24dc9540cd94c7392b208b5e2c12885a
parent4f584b1a4986cf76f51b9e4518adf34b11e2ac2f
Change from FAST to path list

Summary: A minor refactor to use the list of paths instead of "fast" in more places

Reviewed By: yinghuitan

Differential Revision: D20401259

fbshipit-source-id: 0eca9f32dc00f38a088836a9b837b5a02bec8840
hphp/hack/src/server/serverEagerInit.ml
hphp/hack/src/server/serverInitCommon.ml
hphp/hack/src/server/serverInitCommon.mli
hphp/hack/src/server/serverLazyInit.ml