Move get_root into a more common location
commit1352321f9db7b75d07308c8dfebabbbb99a71166
authorTatiana Racheva <tatianaracheva@fb.com>
Fri, 24 May 2019 22:19:44 +0000 (24 15:19 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 24 May 2019 22:28:46 +0000 (24 15:28 -0700)
tree3651a75e6cbaae14233cfdf58aa5e974da9da1bc
parent59f5d2ee2b9f145230ddda5368640e1c06f833c1
Move get_root into a more common location

Summary: I would like to use this root-getting logic in another place, and it seems like it belongs in Wwwroot, anyway.

Reviewed By: ljw1004

Differential Revision: D15491499

fbshipit-source-id: 2036f7ff18163aca182b4f83ade3b0450524d617
hphp/hack/src/client/clientArgs.ml
hphp/hack/src/client/clientArgsUtils.ml [deleted file]
hphp/hack/src/client/clientLsp.ml
hphp/hack/src/utils/wwwroot.ml
hphp/hack/src/utils/wwwroot.mli