remove unused legacy_php_file_info
commit1edcf79afa87bdab83f69f016fdc63d8b2bf225f
authorSteve Cao <shiqicao@fb.com>
Thu, 1 Oct 2020 21:28:12 +0000 (1 14:28 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 1 Oct 2020 21:29:55 +0000 (1 14:29 -0700)
tree3db8aabb4beb507a6353a4b95834479757ebac4a
parentafd887898db0c4398e3ad492fe435a56ae7332ef
remove unused legacy_php_file_info

Differential Revision: D24043557

fbshipit-source-id: bbcb5b20ed9adc6c146e953d6fce3fb3b0a698e2
hphp/hack/src/parser/parsing_service.ml
hphp/hack/src/parser/parsing_service.mli