Public Git Hosting - hiphop-php.git/commit

commit	2bd1cec96b50ce479c947e9ec3694fdc8b0c9f93
author	Waleed Khan <waleedk@fb.com>
	Fri, 24 Jan 2020 01:42:47 +0000 (23 17:42 -0800)
committer	Facebook Github Bot <facebook-github-bot@users.noreply.github.com>
	Fri, 24 Jan 2020 01:53:19 +0000 (23 17:53 -0800)
tree	da308aad7a06e97e5c066fb72268d587c6a23c9c	tree \| snapshot (tar.gz zip)
parent	67f98d7c6239a66dea321bb4d48a173e6a3555dd	commit \| diff

Port `FindRefsService` to `Decl_provider_ctx`

Reviewed By: jewelpit

Differential Revision: D18995287

fbshipit-source-id: f0d5d35e87cc2e007377157c5955073a5fd966bb

hphp/hack/src/hh_single_type_check.ml		diff \| blob \| blame \| history
hphp/hack/src/server/findRefsService.ml		diff \| blob \| blame \| history
hphp/hack/src/server/findRefsService.mli		diff \| blob \| blame \| history
hphp/hack/src/server/serverFindRefs.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverFindRefs.mli		diff \| blob \| blame \| history
hphp/hack/src/server/serverGoToImpl.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverRefactor.ml		diff \| blob \| blame \| history
hphp/hack/src/server/serverRpc.ml		diff \| blob \| blame \| history