Make unused remote server API functions private
commit6cd915d8b91a4d521d8c6fd208d49633f50c7f18
authorMillie Chen <milliechen@meta.com>
Tue, 18 Oct 2022 16:26:17 +0000 (18 09:26 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 18 Oct 2022 16:26:17 +0000 (18 09:26 -0700)
tree38ef05163b1cab990c7118b5da23e45cb205e036
parent994d821d4fa81ebee613ce45b30bd079d0fefda4
Make unused remote server API functions private

Summary: These functions are used only within the remote server module. There is no need to declare them as public

Reviewed By: bobrenjc93

Differential Revision: D40459955

fbshipit-source-id: ca69035eafeb20b696dd8afcf131c0af65f0668a
hphp/hack/src/stubs/remoteWorker.ml