Allow hack server to have toggleTypeCoverage capabilities
commitca2eda8b6b6fcae20a44100e9087e9437837b203
authorJames Wu <jjwu@fb.com>
Mon, 2 Apr 2018 17:47:12 +0000 (2 10:47 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Mon, 2 Apr 2018 18:17:09 +0000 (2 11:17 -0700)
treed62b54cfd0f1bb0a2b970acca4f69885d6929ff0
parentb1bc29915a9a7f5e27be91a5ebc8bef0d685c671
Allow hack server to have toggleTypeCoverage capabilities

Summary: This diff enables the capability in the hack server for dynamicViewProvider.

Reviewed By: arxanas

Differential Revision: D7406400

fbshipit-source-id: 128b820539b53053588ce9d3501da137d4bb664e
hphp/hack/src/client/clientLsp.ml
hphp/hack/src/server/serverCommandTypes.ml
hphp/hack/src/server/serverCommandTypesUtils.ml
hphp/hack/src/server/serverFileSync.ml
hphp/hack/src/server/serverFileSync.mli
hphp/hack/src/server/serverHover.ml
hphp/hack/src/server/serverRpc.ml
hphp/hack/src/utils/lsp.ml
hphp/hack/src/utils/lsp_fmt.ml